{"adoption": {"forks": 432, "observed_at": "2026-08-28T04:07:47.436817+00:00", "stars": 3170}, "canonical_url": "https://ross.abutalabs.com/products/echidna", "card": {"archived": false, "artifact_type": "cli-tool", "description": "Ethereum smart contract fuzzer", "domain": ["security", "blockchain", "developer-tools", "testing"], "enriched": true, "function": ["testing", "fuzzing", "security", "vulnerability-scanning"], "health_score": 100, "homepage": "https://secure-contracts.com/program-analysis/echidna/index.html", "language": "Haskell", "license": "AGPL-3.0", "license_family": "copyleft", "maturity": "active", "member_repos": ["crytic/echidna"], "name": "crytic/echidna", "platform": ["cli"], "pushed_at": "2026-08-26T21:34:24+00:00", "repo": "crytic/echidna", "stars": 3170, "tags": ["ethereum", "solidity", "evm", "property-based-testing", "smart-contract-security", "invariant-testing", "haskell", "smart-contracts", "linux", "macos", "docker"], "topics": ["evm", "ethereum", "smart-contracts", "security", "solidity", "testing", "fuzzer"], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/echidna", "repo": "crytic/echidna", "role": "main", "score": 89}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.436817+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:45:29.422268+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "42b6790fd2c99ee9520f46e2924a571dfd6700ee2c0ff58b2cea73a4a6c5e34d", "fetched_at": "2026-08-28T04:07:47.436817+00:00", "kind": "readme", "missing": false, "url": "https://github.com/crytic/echidna"}, {"content_hash": "503ea68725a59e79d7ff8d023189ee68099a4d83478cf94fa81796d41d1252d9", "fetched_at": "2026-08-29T09:39:41.989685+00:00", "kind": "homepage", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/index.html"}, {"content_hash": "02d7c33bccccf56e23fb46cc3ce62b7396c207e55803059a3f9487f8ac81010a", "fetched_at": "2026-08-29T09:39:41.991989+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/echidna/introduction/installation.html"}, {"content_hash": "6cf1b177e2c055925192e666f490f62b72148585f3db619c0f30771d70595c15", "fetched_at": "2026-08-29T09:39:41.993612+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/index.html"}, {"content_hash": "10869aaed0a9b175854fb203922b4e41d973adee0d7f71e4f678db4f34d3b323", "fetched_at": "2026-08-29T09:39:41.995104+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/installation.html"}, {"content_hash": "8683a44f8cb37cbc174a97386b1ed9b2eeacd63aeac17d384f3de8688463600b", "fetched_at": "2026-08-29T09:39:41.996815+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/getting_started/first_steps.html"}, {"content_hash": "110ebc589df479fc01065ff1535b70e77e3d3daae5e6be19f132b665ff70c003", "fetched_at": "2026-08-29T09:39:41.998205+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/overview.html"}, {"content_hash": "0393d2c5bce505afdadce5c051c6e78131b466958f7b7ed01a3ca29bba18981d", "fetched_at": "2026-08-29T09:39:41.999692+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/fuzzing_config.html"}, {"content_hash": "a5e486ece59336ccd169ec52f870c0a6cb46bb638ae62f1c826e65b28fde1564", "fetched_at": "2026-08-29T09:39:42.001536+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/testing_config.html"}, {"content_hash": "6aeab6d534ea683600af9d282bfd47a54ff537c4d4a475033aeffd46fabb2459", "fetched_at": "2026-08-29T09:39:42.003386+00:00", "kind": "site_page", "missing": false, "url": "https://secure-contracts.com/program-analysis/medusa/docs/src/project_configuration/chain_config.html"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 71}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3293, "days_push": 7, "days_rel": 37, "gap_med": 103.0, "n_releases_24m": 7}, "score": 89, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}