writing-lean-proofs collection: 1 agent skill

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