echidna-fuzzer
Property-based testing and fuzzing using Echidna for smart contracts. Includes invariant definition, corpus management, coverage analysis, and CI/CD integration for comprehensive security testing.
npx skills add a5c-ai/babysitter --skill echidna-fuzzer --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Echidna Fuzzing Skill Property-based testing and fuzzing for smart contracts using Echidna, the premier smart contract fuzzer from Trail of Bits. ## Capabilities - **Property Tests**: Write Echidna-compatible property tests - **Configuration**: Customize fuzzing parameters - **Invariant Testing**: Define and verify contract invariants - **Coverage Analysis**: Analyze fuzzing coverage - **Corpus Management**: Handle and minimize test cases - **Extended Campaigns**: Run long fuzzing campaigns - **CI Integration**: Automate fuzzing in pipelines ## Installation ```bash # Install via docker (recommended) docker pull ghcr.io/crytic/echidna/echidna:latest # Or download binary curl -LO https://github.com/crytic/echidna/releases/latest/download/echidna-Linux chmod +x echidna-Linux mv echidna-Linux /usr/local/bin/echidna # Verify echidna --version ``` ## Property Testing ### Basic Properties ```solidity // contracts/Token.sol contract Token { mapping(address => uint256) public balances; uint256 public totalSupply; function transfer(address to, uint256 amount) external { require(balances[msg.sender] >= amount); balances[msg.sender] -= amount; balances[to] += amount; } } // contracts/TokenTe
- Capabilities
- Installation
- Property Testing
- Basic Properties
- Assertion Mode
- Configuration
- echidna.yaml
- Run Commands
- Advanced Patterns
- Time-Based Properties
- Multi-Contract Testing
- DeFi Invariants
- Coverage Analysis
- Generate Coverage
Install via docker (recommended) docker pull ghcr.io/crytic/echidna/echidna:latest Or download binary curl -LO https://github.com/crytic/echidna/releases/latest/download/echidna-Linux chmod +x echidna-Linux mv echidna-Linux /usr/local/bin/echidna Verify echidna --version Basic run echidna contracts/TokenTest.sol --contract TokenTest
What does the echidna-fuzzer skill do?
Property-based testing and fuzzing using Echidna for smart contracts. Includes invariant definition, corpus management, coverage analysis, and CI/CD integration for comprehensive security testing.
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill echidna-fuzzer --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.