{"adoption": {"forks": 110, "observed_at": "2026-08-28T04:03:17.489024+00:00", "stars": 1028}, "canonical_url": "https://ross.abutalabs.com/products/halmos", "card": {"archived": false, "artifact_type": "cli-tool", "description": "A symbolic testing tool for EVM smart contracts", "domain": ["security", "blockchain", "developer-tools", "testing"], "enriched": true, "function": ["testing", "security", "developer-tools", "cli"], "health_score": 55, "homepage": null, "language": "Python", "license": "AGPL-3.0", "license_family": "copyleft", "maturity": "active", "member_repos": ["a16z/halmos"], "name": "a16z/halmos", "platform": ["python", "cli"], "pushed_at": "2025-08-06T19:05:39+00:00", "repo": "a16z/halmos", "stars": 1028, "tags": ["evm", "smart-contracts", "solidity", "formal-verification", "symbolic-execution", "foundry", "smt-solver", "linux", "macos", "docker"], "topics": [], "urls": [], "use_cases": ["symbolically test solidity smart contracts", "formally verify evm contract invariants using existing foundry tests", "find counterexamples to contract properties automatically", "check smart contract equivalence between implementations", "run formal verification on ethereum contracts from the command line"], "what_it_is": "Halmos is a symbolic testing tool for EVM smart contracts, primarily targeting Solidity projects via a Foundry frontend. It leverages existing test suites to perform formal-verification-style checks using symbolic execution and SMT solvers.", "when_to_avoid": ["you need full formal verification of complex contracts beyond what symbolic testing can prove", "your contracts are written in languages not yet supported like vyper or huff", "you need runtime fuzzing rather than symbolic execution"], "when_to_choose": ["you have a foundry/solidity test suite and want stronger guarantees without rewriting tests", "you want lightweight formal verification of evm contracts", "you need automated counterexample generation for contract properties"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/halmos", "repo": "a16z/halmos", "role": "main", "score": 50}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "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:03:17.489024+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:17.489024+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T07:07:43.844241+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "8bb6a30bbf1065b570be35074738c154cb567649978f90838d2008e91322368b", "fetched_at": "2026-08-28T04:03:17.489024+00:00", "kind": "readme", "missing": false, "url": "https://github.com/a16z/halmos"}, {"content_hash": "024190ccda3852e8bed1ba468ddde8f5e621ca806fce1f4db047561b8a8ebc49", "fetched_at": "2026-08-29T13:07:52.707332+00:00", "kind": "registry_pypi", "missing": false, "url": "https://pypi.org/pypi/halmos/json"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 35, "longevity": 97, "rhythm": 41}, "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": 1360, "days_push": 392, "days_rel": 399, "gap_med": 23.5, "n_releases_24m": 11}, "score": 50, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}