{"package":"tamarin-prover","ecosystem":"hackage","latest_version":"0.8.6.3","description":"The Tamarin prover for security protocol analysis.","license":"LicenseRef-GPL","license_risk":"unknown","commercial_use_notes":"verify manually — license not parseable / not declared.","homepage":"http://www.infsec.ethz.ch/research/software/tamarin","repository":"","downloads_weekly":0,"health":{"score":36,"risk":"critical","breakdown":{"maintenance":0,"popularity":0,"security":25,"maturity":9,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.8.6.3","total_count":17,"recent":["0.8.6.3","0.8.6.2","0.8.6.1","0.8.6.0","0.8.5.1","0.8.5.0","0.8.4.0","0.8.2.1","0.8.2.0","0.8.1.0","0.8.0.0","0.6.1.0","0.6.0.0","0.4.1.0","0.4.0.0","0.1.1.0","0.1.0.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2015-09-07T11:51:42.240009Z","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":"use_with_caution","issues":["Low health score (36/100)"],"use_version":"0.8.6.3","version_hint":null,"summary":"tamarin-prover@0.8.6.3 low health (36/100) — consider alternatives"},"version_scoped":null,"requested_version":null,"_cache":"hit","_response_ms":0,"_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":17,"first_release_age_days":5191,"last_release_days_ago":3886,"avg_days_between_releases":324,"release_velocity":"stale"}}