echidna
Installation
SKILL.md
Skill is based on Echidna (crytic/echidna), generated from source at the listed date.
Echidna is a property-based fuzzer for Ethereum smart contracts. It generates random sequences of contract calls to falsify invariants (Solidity functions named with a prefix like echidna_ that return bool) or to trigger Solidity assert failures. It supports coverage-guided fuzzing, corpus collection, multiple test modes, and integration with Foundry, Hardhat, and Truffle.
Core References
| Topic | Description | Reference |
|---|---|---|
| Invariants | Defining and running property invariants (echidna_ prefix, no args, return bool) | core-invariants |
| Configuration | YAML config (testMode, gas, coverage, corpus, workers, filtering) | core-configuration |
| CLI | Invocation, contract selection, output drivers (text, json, none) | core-cli |