Search
Development · By leanEthereum
7 skills found.
Product:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Run leanSpec fixtures against a client implementation. An agent skill from leanEthereum/leanSpec. | leanEthereum/ | 143 | — | ~594 | Automated safety check: Pass | MIT | 1 mo ago |
| 2 | 2.Review Quick-reference checklist for code review conventions in leanSpec | leanEthereum/ | 143 | — | ~468 | Automated safety check: Pass | MIT | 1 mo ago |
| 3 | Show what changed in leanSpec between devnet versions or HEAD | leanEthereum/ | 143 | — | ~1.2k | Automated safety check: Pass | MIT | 1 mo ago |
| 4 | Common developer workflows, commands, and troubleshooting for leanSpec | leanEthereum/ | 143 | — | ~496 | Automated safety check: Pass | MIT | 1 mo ago |
| 5 | 5.Doc Document code in this repository. | leanEthereum/ | 143 | — | ~1.9k | Automated safety check: Pass | MIT | 1 mo ago |
| 6 | 6.Checks Run all code quality checks | leanEthereum/ | 143 | — | ~132 | Automated safety check: Pass | MIT | 1 mo ago |
| 7 | 7.Fix Auto-fix linting and formatting issues | leanEthereum/ | 143 | — | ~117 | Automated safety check: Pass | MIT | 1 mo ago |
