kani
v0.0.1 GrowingPlaceholder crate for the library of the Kani Rust verifier.
Quick Verdict
- ✕Not updated for 1+ year
- !Pre-1.0: API may have breaking changes
- ✓Team maintained (4 owners)
- ✓Tiny footprint (5KB, 0 deps)
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
2.2K downloads in the last 30 days, down 20% from the previous period. May indicate migration to alternatives.
This crate is maintained by a team (4 owners), reducing bus-factor risk and ensuring continuity.
Despite being 5+ years old, kani hasn't reached 1.0 yet. Expect potential API changes between versions.
kani has no external dependencies — minimal supply chain risk and fast compile times.
At 5KB, kani is lightweight. Small crate size correlates with focused, well-scoped functionality.
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
