{"package":"sbv","ecosystem":"hackage","latest_version":"14.0","description":"SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.","license":"BSD-3-Clause","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"http://github.com/LeventErkok/sbv","repository":"http://github.com/LeventErkok/sbv","downloads_weekly":0,"health":{"score":67,"risk":"moderate","breakdown":{"maintenance":25,"popularity":0,"security":25,"maturity":15,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"14.0","total_count":137,"recent":["14.0","13.6","13.5","13.4","13.3","13.2","13.1","13.0","12.2","12.1","12.0","11.7","11.6","11.5","11.4","11.3","11.2","11.1","11.0","10.12"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2026-04-01T20:18:40.927721862Z","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":"14.0","version_hint":null,"summary":"sbv@14.0 is safe to use (health: 67/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":767,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":false},"maintainer_trust":{"available":true,"bus_factor_3m":1,"active_contributors_12m":0,"primary_author_ratio":0.0,"owner_account_age_days":5592,"is_archived":false,"stars":267,"alerts":["single_active_maintainer_3m"]},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"version_history_summary":{"total_versions":20,"first_release_age_days":627,"last_release_days_ago":29,"avg_days_between_releases":33,"release_velocity":"active"}}