{"package":"dafny-runtime","ecosystem":"cargo","latest_version":"0.3.1","description":"dafny-runtime is the runtime support library for Rust code gerated from Dafny.","license":"ISC AND (Apache-2.0 OR ISC)","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":null,"repository":"https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust","downloads_weekly":28779,"health":{"score":51,"risk":"high","breakdown":{"maintenance":10,"popularity":10,"security":25,"maturity":6,"community":0},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.3.1","total_count":5,"recent":["0.3.1","0.3.0","0.2.0","0.1.1","0.1.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":"2024-12-04T16:10:26.841403Z","last_published":"2025-06-03T16:36:38.879020Z","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.3.1","version_hint":null,"summary":"dafny-runtime@0.3.1 is safe to use (health: 51/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":580,"_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":5,"first_release_age_days":511,"last_release_days_ago":330,"avg_days_between_releases":128,"release_velocity":"moderate"}}