a16z

a16z/halmos

A symbolic testing tool for EVM smart contracts

1 good first / help-wanted issue · Python · last activity Aug 21, 2026

1.0K stars 110 forks 1.0K watchers Python GNU Affero General Public License v3.0
View on GitHub
1 Open Issue Need Help Last updated: Aug 21, 2026

Open Issues Need Help

View All on GitHub
Add vyper support 2 months ago
enhancement help wanted
a16z/halmos
1.0K

A symbolic testing tool for EVM smart contracts

Python