a16z

a16z/halmos

A symbolic testing tool for EVM smart contracts

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 about 2 hours ago
enhancement help wanted
a16z/halmos
1.0K

A symbolic testing tool for EVM smart contracts

Python