Repository
leanEthereum/leanSpec agent skills
- skills
- 9
- GitHub stars
- 143
GitHub description: “Lean Ethereum protocol specifications and test vector generation framework.”
- Stars
- 143 (85 forks)
- Licence
- MIT
- Last push
- Sep 2026
- Created
- Jul 2025
- Homepage
- leanroadmap.org
- eth
- ethereum
- ethereum-testing
- lean-ethereum
- post-quantum-cryptography
Install all skills
npx skills add leanEthereum/leanSpecAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in leanEthereum/leanSpec, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Audit Read-only, multi-agent audit of the leanSpec codebase. An agent skill from leanEthereum/leanSpec. | leanEthereum/ | 143 | — | ~2.5k | Automated safety check: Pass | MIT | 1 mo ago |
| 2 | Run leanSpec fixtures against a client implementation. An agent skill from leanEthereum/leanSpec. | leanEthereum/ | 143 | — | ~594 | Automated safety check: Pass | MIT | 1 mo ago |
| 3 | 3.Review Quick-reference checklist for code review conventions in leanSpec | leanEthereum/ | 143 | — | ~468 | Automated safety check: Pass | MIT | 1 mo ago |
| 4 | Show what changed in leanSpec between devnet versions or HEAD | leanEthereum/ | 143 | — | ~1.2k | Automated safety check: Pass | MIT | 1 mo ago |
| 5 | Common developer workflows, commands, and troubleshooting for leanSpec | leanEthereum/ | 143 | — | ~496 | Automated safety check: Pass | MIT | 1 mo ago |
| 6 | 6.Doc Document code in this repository. | leanEthereum/ | 143 | — | ~1.9k | Automated safety check: Pass | MIT | 1 mo ago |
| 7 | 7.Fill Generate consensus layer test fixtures | leanEthereum/ | 143 | — | ~202 | Automated safety check: Pass | MIT | 1 mo ago |
| 8 | 8.Checks Run all code quality checks | leanEthereum/ | 143 | — | ~132 | Automated safety check: Pass | MIT | 1 mo ago |
| 9 | 9.Fix Auto-fix linting and formatting issues | leanEthereum/ | 143 | — | ~117 | Automated safety check: Pass | MIT | 1 mo ago |
Questions, answered from the data.
What is the best skill in leanEthereum/leanSpec?
Audit from leanEthereum/leanSpec ranks first of the 9 skills in leanEthereum/leanSpec listed here, with the highest score: its repository has 143 GitHub stars, its SKILL.md loads about 2.5k tokens and it passes the automated safety check with no findings. Next come Client Test and Review.
Are the skills in leanEthereum/leanSpec official?
None yet. All 9 skills in leanEthereum/leanSpec listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from leanEthereum/leanSpec?
Run npx skills add leanEthereum/leanSpec in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.