Is kani-verifier safe to use?

kani-verifier has no known vulnerabilities on the latest version (0.67.0). DepScope rates its health at 65/100 (moderate risk).

What is the latest version of kani-verifier?

The latest version of kani-verifier is 0.67.0, released 2026-01-16.

No known vulnerabilities on the latest version of kani-verifier.

No, kani-verifier is actively maintained. Latest release: 0.67.0 (2026-01-16).

Popular alternatives to kani-verifier in Cargo include: hashbrown, getrandom, windows-sys, syn, rand_core.

kani-verifier is licensed under MIT OR Apache-2.0.

cargov0.67.0

A bit-precise model checker for Rust.

License MIT OR Apache-2.0permissive69 versions0 deps63,118 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

15/25

maintenance

10/20

popularity

25/25

security

15/15

maturity

0/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/kani-verifier