leanSpec

Run `npx skills add leanEthereum/leanSpec --all -g -y` in your terminal to install all skills in this suite globally.

It is the Python reference specification for the Lean Ethereum consensus protocol, including cryptography, SSZ serialization, and fork choice logic. The skills help you test, audit, and document that specification.

Use the fill skill, which runs the test filler to produce JSON consensus fixtures that client implementations like ream, zeam, and qlean-mini can verify against.

Yes. The audit skill runs a read-only, multi-agent review that finds dead code, test gaps, and safety issues, then writes a prioritized report without modifying any source files.

Basic familiarity helps, but the skills handle the command details. You can ask your agent in plain English to run checks, compare spec versions, or document code.