A skill that gives coding agents a structured way to reason before implementing. Write a model and an independent specification. State the proof obligations that connect them and prove them in Lean. Then derive tests and implement through TDD.
Use it for behavior where mistakes could harm users, data, money, or access. Proofs cover the model and its assumptions; tests check the implementation.
Install:
npx skills add seqra/formal-specThen ask your agent: “Work proof-first on this change.”
Apache-2.0. See LICENSE.