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

# Install via docker (recommended)
docker pull ghcr.io/crytic/echidna/echidna:latest