Search
Agent Workflows · Ethereum · For researchers
1 skill found.
Skills
| # | 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 |
