Is Kani Safe?
Kani — Nerq Trust Score 57.2/100 (C grade). Score based on 2 independent trust signals. Last analyzed: 2026-03-25
Kani is a Rust crate with a Nerq Trust Score of 57.2/100 (C), based on 3 independent data dimensions. Last analyzed: 2026-03-25 Security: 90/100. Popularity: 60/100. Data sourced from crates.io registry, GitHub, NVD, and RustSec advisory database. Last updated: 2026-03-25. Machine-readable data (JSON).
Is Kani safe?
Trust Score Breakdown — Kani has a Nerq Trust Score of 57.2/100 (C). Measured across 2 independent trust signals (as of 2026-03-25).
What is Kani's trust score?
Kani has a Nerq Trust Score of 57.2/100, earning a C grade. This score is based on 2 independently measured dimensions including security, maintenance, and community adoption.
What are the key security findings for Kani?
Kani's strongest signal is security at 90/100. No known vulnerabilities have been detected.
What is Kani and who maintains it?
| Author | Unknown |
| Category | Rust Crates |
| Source | N/A |
Similar Crates by Trust Score
Safety Guide: Kani
What is Kani?
Kani is a Rust crate — Placeholder crate for the library of the Kani Rust verifier..
How to Verify Safety
Run cargo audit. Review on crates.io for activity.
You can also check the trust score via API: GET /v1/preflight?target=kani
Key Safety Concerns for Rust crate
When evaluating any Rust crate, watch for: dependency vulnerabilities, unsafe code, maintenance status.
Measured Signals
Kani has a Nerq Trust Score of 57/100 (C). This score is a composite of automated measurements of security, maintenance, community, and quality signals.
Key Takeaways
- Kani has a Trust Score of 57/100 (C).
- The score is a measured composite — it is not a suitability judgment. Evaluate the individual signals against your own requirements.
- Query the current measured values via the Nerq API.
Frequently Asked Questions
Is Kani Safe?
What is Kani's trust score?
What are safer alternatives to Kani?
Does Kani have known vulnerabilities?
Does Kani use unsafe code?
Popular in Rust Crates
Browse Categories
See Also
Disclaimer: Nerq trust scores are automated measurements based on publicly available signals. They are not endorsements, verdicts, or guarantees of suitability. Always evaluate the signals against your own requirements.