Is bolero-kani safe to use?

bolero-kani has no known vulnerabilities on the latest version (0.13.0). DepScope rates its health at 73/100 (moderate risk).

What is the latest version of bolero-kani?

The latest version of bolero-kani is 0.13.0, released 2025-02-27.

Does bolero-kani have known vulnerabilities?

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

Is bolero-kani deprecated?

No, bolero-kani is actively maintained. Latest release: 0.13.0 (2025-02-27).

What are alternatives to bolero-kani?

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

What license does bolero-kani use?

bolero-kani is licensed under MIT.

bolero-kani

cargov0.13.0

kani plugin for bolero

License MITpermissive9 versions0 deps1,094,046 weekly dl

camshaft/bolero

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

17/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

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