{"package":"Agda","ecosystem":"hackage","latest_version":"2.8.0","description":"A dependently typed functional programming language and proof assistant","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://wiki.portal.chalmers.se/agda/","repository":"","downloads_weekly":0,"health":{"score":64,"risk":"moderate","breakdown":{"maintenance":25,"popularity":0,"security":25,"maturity":12,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"2.8.0","total_count":36,"recent":["2.8.0","2.7.0.1","2.6.4.3","2.6.4.1","2.6.4","2.6.3.1","2.6.3","2.6.2.2","2.6.2.1","2.6.2","2.6.1.3","2.6.0.1","2.5.4.2","2.5.3","2.5.2","2.5.1.2","2.4.2.5","2.4.2.4","2.4.2.3","2.4.2.2"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2026-04-17T15:16:48.618937299Z","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":["Moderate health score (64/100) — verify manually"],"use_version":"2.8.0","version_hint":null,"summary":"Agda@2.8.0 low health (64/100) — consider alternatives"},"version_scoped":null,"_meta":{"endpoint":"check","tier":"full","philosophy":"DepScope is free. Use the cheapest endpoint that answers your real question.","cheaper_alternatives":[{"endpoint":"/api/exists/hackage/Agda","tokens_estimated":12,"use_when":"you only need to know if the package exists (hallucination guard)"},{"endpoint":"/api/health/hackage/Agda","tokens_estimated":80,"use_when":"you only need a 0-100 score for go/no-go (>=70 = safe)"},{"endpoint":"/api/prompt/hackage/Agda","tokens_estimated":280,"use_when":"you want a plain-text LLM-friendly brief instead of JSON"},{"endpoint":"POST /api/check_bulk","tokens_estimated":60,"use_when":"you have 5+ packages to check; sends one round-trip instead of N"}],"docs":"https://depscope.dev/integrate"},"requested_version":null,"_cache":"miss","_response_ms":574,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":false},"maintainer_trust":{"available":true,"bus_factor_3m":16,"active_contributors_12m":16,"primary_author_ratio":0.44,"owner_account_age_days":5691,"is_archived":false,"stars":2829,"alerts":[]},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"co_used_with":[{"package":"stimulus_reflex_testing","occurrences":8},{"package":"multi_json","occurrences":7}],"version_history_summary":{"total_versions":20,"first_release_age_days":4050,"last_release_days_ago":17,"avg_days_between_releases":213,"release_velocity":"active"}}