{"package":"smtlib-backends-process","ecosystem":"hackage","latest_version":"0.3","description":"An SMT-LIB backend running solvers as external processes.","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://hackage.haskell.org/package/smtlib-backends-process","repository":"","downloads_weekly":0,"health":{"score":50,"risk":"high","breakdown":{"maintenance":20,"popularity":0,"security":25,"maturity":3,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.3","total_count":2,"recent":["0.3","0.2"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2026-03-04T13:20:58.369170602Z","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","version_hint":null,"summary":"smtlib-backends-process@0.3 is safe to use (health: 50/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":523,"_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},"co_used_with":[{"package":"amazonka-migration-hub-refactor-spaces","occurrences":3},{"package":"aws-lambda-haskell-runtime","occurrences":3},{"package":"bitcoin-ruby","occurrences":3},{"package":"eventful-postgresql","occurrences":3},{"package":"garfield","occurrences":3}],"version_history_summary":{"total_versions":2,"first_release_age_days":1219,"last_release_days_ago":57,"avg_days_between_releases":1219,"release_velocity":"active"}}