kani-verifier
v0.67.0 GrowingA bit-precise model checker for Rust.
Quick Verdict
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 128 crates
- ✓Team maintained (4 owners)
- ✓Tiny footprint (29KB, 3 deps)
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
29.3K downloads in the last 30 days (976/day), up 10% from the previous period.
128 crates depend on kani-verifier. Reasonable ecosystem adoption, though not yet a core dependency.
This crate is maintained by a team (4 owners), reducing bus-factor risk and ensuring continuity.
Despite being 4+ years old, kani-verifier hasn't reached 1.0 yet. Expect potential API changes between versions.
Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
At 28KB, kani-verifier is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include tar-core, jsonrpc-fdpass, liquid-cache-storage, ferrolearn-metrics, ferrolearn-sparse. When high-quality crates choose kani-verifier, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on kani-verifier
