Is verifiable-expressions safe to use?

verifiable-expressions has no known vulnerabilities on the latest version (0.6.3). DepScope rates its health at 43/100 (high risk).

What is the latest version of verifiable-expressions?

The latest version of verifiable-expressions is 0.6.3, released 2025-09-29.

No known vulnerabilities on the latest version of verifiable-expressions.

No, verifiable-expressions is actively maintained. Latest release: 0.6.3 (2025-09-29).

DepScope has no curated alternatives for verifiable-expressions at this time.

verifiable-expressions is licensed under Apache-2.0.

hackagev0.6.3

An intermediate language for Hoare logic style verification.

License Apache-2.0permissive6 versions1 maintainers0 deps

/ 100

Health

safe to use

[email protected] is safe to use (health: 43/100)

Health breakdown0 – 100

10/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/verifiable-expressions

Last updated · 2025-09-29T10:47:03.12114802Z