Dropnation/contract-fuzzer

Health v2 · maintenance only

Adoption not part of the score

1414 stars · 169 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

A Python-based fuzzer for Ethereum smart contracts that compiles Solidity sources and executes random sequences of public/external calls to verify user-defined `echidna_*` property functions. It runs locally using an in-process EVM (eth-tester + py-evm) and supports reproducible runs via seeds with saved failure artifacts.

Use cases

• fuzz test solidity smart contracts for property violations
• find bugs in ethereum contracts before deployment
• replay a failing contract fuzz run
• run echidna-style property tests on evm contracts
• fuzz solidity contracts on windows without docker
• generate reproducible smart contract test failures with seeds

When to choose

• you want a lightweight, pip-installable EVM contract fuzzer with no external binaries
• you need reproducible fuzzing runs with saved failure artifacts
• you already write echidna_* style property functions in Solidity

When to avoid

• you need coverage-guided scheduling or parallel fuzzing workers, which are still on the roadmap
• you need advanced input shrinking/minimization of failing sequences
• you fuzz Soroban/Stellar or non-EVM smart contracts

Facets

cli-tool · maturity active

fuzzing testing cli security blockchain testing developer-tools python cli cross-platform windows ethereum evm solidity smart-contract-security property-testing echidna-style py-evm reproducible-fuzzing linux macos docker

Member repositories

For agents

markdown · JSON · MCP: product_card(name="Dropnation/contract-fuzzer")