a16z/halmos
A symbolic testing tool for EVM smart contracts observed · 2026-08-28
Health v2 · maintenance only
50/100
- Activity 35
- Release rhythm 41
- Longevity 97
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: 23.5
- age_days: 1360
- days_rel: 399
- days_push: 392
- n_releases_24m: 11
Adoption not part of the score
1028 stars · 110 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
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.
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
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
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
Facets
cli-tool · maturity active
testing security developer-tools cli security blockchain developer-tools testing python cli evm smart-contracts solidity formal-verification symbolic-execution foundry smt-solver linux macos docker
2 sources
- readme: https://github.com/a16z/halmos · fetched 2026-08-28 · 8bb6a30bbf10
- registry_pypi: https://pypi.org/pypi/halmos/json · fetched 2026-08-29 · 024190ccda38
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| a16z/halmos | main | 50 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem