Is github.com/a16z/halmos safe to use?

github.com/a16z/halmos has no known vulnerabilities on the latest version (v0.3.3). DepScope rates its health at 55/100 (high risk).

What is the latest version of github.com/a16z/halmos?

The latest version of github.com/a16z/halmos is v0.3.3, released 2025-07-31.

No known vulnerabilities on the latest version of github.com/a16z/halmos.

No, github.com/a16z/halmos is actively maintained. Latest release: v0.3.3 (2025-07-31).

DepScope has no curated alternatives for github.com/a16z/halmos at this time.

github.com/a16z/halmos is licensed under AGPL-3.0.

govv0.3.3

A symbolic testing tool for EVM smart contracts

License AGPL-3.0network copyleft35 versions17 maintainers0 deps996 weekly dl

/ 100

Health

safe to use

github.com/a16z/[email protected] is safe to use (health: 55/100)

Health breakdown0 – 100

10/25

maintenance

3/20

popularity

25/25

security

12/15

maturity

5/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/go/github.com/a16z/halmos

Last updated · 2025-07-31T01:53:21Z