{"package":"kani-verifier","ecosystem":"cargo","latest_version":"0.67.0","description":"A bit-precise model checker for Rust.","license":"MIT OR Apache-2.0","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://github.com/model-checking/kani","repository":"https://github.com/model-checking/kani","downloads_weekly":63314,"health":{"score":65,"risk":"moderate","breakdown":{"maintenance":15,"popularity":10,"security":25,"maturity":15,"community":0},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.67.0","total_count":69,"recent":["0.67.0","0.66.0","0.65.0","0.64.0","0.63.0","0.62.0","0.61.0","0.60.0","0.59.0","0.58.0","0.57.0","0.56.0","0.55.0","0.54.0","0.53.0","0.52.0","0.51.0","0.50.0","0.49.0","0.48.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":"2022-01-19T21:14:56.536377Z","last_published":"2026-01-16T17:11:13.686055Z","dependencies_count":0,"dependencies":[]},"github_stats":null,"bundle":null,"typescript":null,"known_issues":{"bugs_count":0,"bugs_severity":{},"status_breakdown":{},"link":null,"scope":"none"},"historical_compromise":null,"recommendation":{"action":"safe_to_use","issues":[],"use_version":"0.67.0","version_hint":null,"summary":"kani-verifier@0.67.0 is safe to use (health: 65/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":380,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":false},"maintainer_trust":{"available":false},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"version_history_summary":{"total_versions":20,"first_release_age_days":1561,"last_release_days_ago":103,"avg_days_between_releases":82,"release_velocity":"moderate"}}