Search
leanEthereum/leanSpec
9 skills found.
Product:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | 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 |
