Is halmos safe to use?

halmos has no known vulnerabilities on the latest version (0.3.3). DepScope rates its health at 58/100 (high risk).

What is the latest version of halmos?

The latest version of halmos is 0.3.3, released 2025-07-31.

Does halmos have known vulnerabilities?

No known vulnerabilities on the latest version of halmos.

Is halmos deprecated?

No, halmos is actively maintained. Latest release: 0.3.3 (2025-07-31).

What are alternatives to halmos?

Popular alternatives to halmos in PyPI include: boto3, packaging, urllib3, certifi, idna.

What license does halmos use?

halmos is licensed under GNU Affero General Public v3.

halmos

pypiv0.3.3

A symbolic testing tool for EVM smart contracts

License GNU Affero General Public v335 versions1 maintainers13 deps2,562 weekly dl

a16z/halmos

/ 100

Health

use with caution

[email protected] low health (58/100) — consider alternatives

Moderate health score (58/100) — verify manually

Health breakdown0 – 100

10/25

maintenance

6/20

popularity

25/25

security

12/15

maturity

5/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (13)

sortedcontainers toml z3-solver eth_hash[pysha3]rich xxhash psutil requests yices-solver python-dotenv pre-commit pytest ruff

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/halmos