echidna
brew install echidna
v2.3.2
AGPL-3.0-only
Ethereum smart contract fuzzer
322
30-day installs · #2153
934
90-day · #2274
3.9k
365-day · #2155
Runtime dependencies
Build dependencies
Links
- https://secure-contracts.com/program-analysis/echidna/index.html
- Brew formula source: Formula/e/echidna.rb
Raw metadata
{
"aliases": [],
"alternatives": [],
"build_dependencies": [
"ghc@9.10",
"haskell-stack"
],
"categories": [],
"caveats": null,
"conflicts_with": [],
"dependencies": [
"crytic-compile",
"gmp",
"libff",
"secp256k1",
"slither-analyzer"
],
"deprecated": 0,
"deprecation_reason": null,
"desc": "Ethereum smart contract fuzzer",
"disable_reason": null,
"disabled": 0,
"enrichment_fetched_at": "2026-06-20T23:37:14+00:00",
"first_seen": "2026-06-20T23:34:18+00:00",
"full_name": "echidna",
"github_default_branch": null,
"github_last_commit_at": null,
"github_readme_excerpt": null,
"github_repo": null,
"github_stars": null,
"github_topics": [],
"homepage": "https://secure-contracts.com/program-analysis/echidna/index.html",
"homepage_og_description": null,
"homepage_og_image": null,
"homepage_title": "Echidna - Building Secure Contracts",
"installs_30d": 322,
"installs_365d": 3924,
"installs_90d": 934,
"keg_only": 0,
"keg_only_reason": null,
"last_seen": "2026-06-20T23:34:18+00:00",
"license": "AGPL-3.0-only",
"llm_generated_at": null,
"llm_model": null,
"name": "echidna",
"oldnames": [],
"one_liner": null,
"optional_dependencies": [],
"rank_30d": 2153,
"rank_365d": 2155,
"rank_90d": 2274,
"raw_hash": "3a89a2d08a5f24e5",
"recommended_dependencies": [],
"revision": 0,
"ruby_source_path": "Formula/e/echidna.rb",
"tap": "homebrew/core",
"test_dependencies": [
"solidity"
],
"uses_from_macos": [
"ncurses"
],
"version_head": "HEAD",
"version_stable": "2.3.2",
"versioned_formulae": [],
"why_use_this": null
}