Skills tagged lean: 1 agent skill for Claude Code

• writing-lean-proofs — Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions.