crytic/echidna
Ethereum smart contract fuzzer observed · 2026-08-28
Health v2 · maintenance only
89/100
- Activity 99
- Release rhythm 71
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: 103.0
- age_days: 3293
- days_rel: 37
- days_push: 7
- n_releases_24m: 7
Adoption not part of the score
3170 stars · 432 forks observed · 2026-08-28
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-08-28 · 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 | 89 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem