What is kani?
57/100
Trust Score (C)
⚠️ Use Caution
kani is a crates that Placeholder crate for the library of the Kani Rust verifier.. It has a Nerq Trust Score of 57/100 (C). 0 GitHub stars. Published by Unknown. Last analyzed September 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
57
TRUST SCORE
C
GRADE
0
STARS
0
DOWNLOADS
What kani Does
kani is a crates in the crates category. Placeholder crate for the library of the Kani Rust verifier.. It is published by Unknown and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use kani
kani is suitable for evaluation and non-critical use. Review the trust score breakdown before using in production.
Details
| Author | Unknown |
|---|---|
| Category | crates |
| License | Not specified |
| Type | crates |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=kani
Setup guide · Full safety report · Production review · Is it safe?
Frequently Asked Questions
What is kani used for?
kani is a crates tool. Placeholder crate for the library of the Kani Rust verifier..
Is kani free?
License: Check project page. kani has 0 GitHub stars.
Is kani safe?
kani has a Nerq Trust Score of 57/100 (C). Use with caution.
What are alternatives to kani?
Top alternatives: . See full comparison.
Safety Report Is It Safe?
Alternatives Prediction
Trending Leaderboard
Discover MCP Servers
Packages Models
Stats API
Last updated September 2026. Trust scores based on automated analysis of public data.