{"package":"agda-kernel","ecosystem":"pypi","latest_version":"0.64","description":"A rudimentary Jupyter kernel for Agda","license":"BSD-3-Clause","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://github.com/lclem/agda-kernel","repository":"https://github.com/lclem/agda-kernel","downloads_weekly":0,"health":{"score":33,"risk":"critical","breakdown":{"maintenance":0,"popularity":0,"security":25,"maturity":6,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.64","total_count":9,"recent":["0.2","0.3","0.4","0.5","0.6","0.61","0.62","0.63","0.64"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2020-11-30T14:52:06.179329Z","dependencies_count":0,"dependencies":[]},"github_stats":{"stars":25,"forks":3,"open_issues":4,"is_archived":false,"pushed_at":"2022-03-09T13:30:59Z","subscribers_count":2},"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 (33/100)"],"use_version":"0.64","version_hint":null,"summary":"agda-kernel@0.64 low health (33/100) — consider alternatives"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":1031,"_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":9,"first_release_age_days":null,"last_release_days_ago":1975,"avg_days_between_releases":null,"release_velocity":"stale"}}