Search
Solidity · Fuzzing
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Fizz Generate Echidna/Medusa-compatible Solidity fuzz suites from Foundry or Hardhat projects. | pashov/ | 1.2k | 2 repos | ~11k | Automated safety check: Pass | MIT | 5 days ago |
| 2 | Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the existing fuzz harness, then flip their checkboxes. | pashov/ | 1.2k | 2 repos | ~3.7k | Automated safety check: Pass | MIT | 5 days ago |
| 3 | Research notes drawn from Trail of Bits, SlowMist, ConsenSys, Immunefi and Cyfrin on smart contract audit methodology, with Slither, Echidna and Medusa setup. | tradecatlabs/ | 17k | 2 repos | ~9.9k | Automated safety check: Pass | MIT | today |
| 4 | Build metric-driven Chimera/create-chimera-app stateful invariant testing campaigns for Solidity projects. | aviggiano/ | 144 | — | ~2.8k | Automated safety check: Pass | MIT | 25 days ago |
| 5 | Triages survived mutants and unnecessary test statements using Trailmark call-graph data, sorting them into false positives, missing unit tests and fuzzing targets. | trailofbits/ | 7.5k | — | ~3.2k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 6 | Generates Foundry invariant tests and Echidna property-based fuzz tests for Solidity contracts. | alt-research2/ | 104 | — | ~763 | Automated safety check: Notes | Unknown | 4 mo ago |
| 7 | Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. | trailofbits/ | 7.5k | — | ~1.1k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 8 | A skill your agent uses when writing fuzz tests for Solidity contracts. | ccashwell/ | 131 | — | ~1.6k | Automated safety check: Pass | MIT | 10 days ago |
