crytic/echidna
Ethereum smart contract fuzzer observed · 2026-10-11
Health v2 · maintenance only
86/100
- Activity 98
- Release rhythm 63
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: 121
- age_days: 3341
- days_rel: 85
- days_push: 12
- n_releases_24m: 6
Adoption not part of the score
3186 stars · 435 forks observed · 2026-10-11
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
Echidna is a Haskell-based fuzzer for Ethereum smart contracts that performs property-based testing by generating sequences of contract calls to falsify user-defined invariants or Solidity assertions. It uses grammar-based fuzzing with coverage guidance, corpus collection, and Slither integration to find deep bugs in EVM contracts.
Use cases
- fuzz my solidity smart contract for bugs
- test that a contract invariant always holds
- find call sequences that break my token's balance guarantees
- property-based testing for ethereum contracts
- check solidity assertions with random inputs
- audit smart contracts before deployment
- verify my defi protocol's security invariants
When to choose
- you need to test Solidity invariants or assertions against randomized call sequences
- you want coverage-guided fuzzing with corpus collection and test case minimization
- you are auditing or hardening Ethereum smart contracts before deployment
- you prefer a mature, widely adopted tool with extensive documentation and tutorials
When to avoid
- you need parallelized fuzzing or a Go API for custom testing methodology (consider medusa)
- your project is not EVM/Solidity based
- you need formal verification with mathematical proofs rather than fuzzing
- you want symbolic execution rather than input generation
Facets
cli-tool · maturity active
testing fuzzing security vulnerability-scanning security blockchain developer-tools testing cli ethereum solidity evm property-based-testing smart-contract-security invariant-testing haskell smart-contracts linux macos docker
10 sources
- readme: https://github.com/crytic/echidna · fetched 2026-10-11 · 42b6790fd2c9
- homepage: https://secure-contracts.com/program-analysis/echidna/index.html · fetched 2026-08-29 · 503ea68725a5
- site_page: https://secure-contracts.com/program-analysis/echidna/introduction/installation.html · fetched 2026-08-29 · 02d7c33bcccc
- site_page: https://secure-contracts.com/program-analysis/medusa/docs/src/index.html · fetched 2026-08-29 · 6cf1b177e2c0
- site_page: https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html · fetched 2026-08-29 · 10869aaed0a9
- site_page: https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html · fetched 2026-08-29 · 8683a44f8cb3
- site_page: https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html · fetched 2026-08-29 · 110ebc589df4
- site_page: https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html · fetched 2026-08-29 · 0393d2c5bce5
- site_page: https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html · fetched 2026-08-29 · a5e486ece593
- site_page: https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html · fetched 2026-08-29 · 6aeab6d534ea
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| crytic/echidna | main | 86 |
For agents
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem