{"package":"pysmt","ecosystem":"conda","latest_version":"0.9.5","description":"A library for SMT formulae manipulation and solving","license":"Apache-2.0","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"http://www.pysmt.org","repository":"https://github.com/pysmt/pysmt","downloads_weekly":31,"health":{"score":44,"risk":"high","breakdown":{"maintenance":5,"popularity":0,"security":25,"maturity":9,"community":5},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.9.5","total_count":2,"recent":["0.9.0","0.9.5"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":"2022-04-11 12:15:25.484000+00:00","last_published":"2025-04-22 14:58:15.018000+00:00","dependencies_count":0,"dependencies":[]},"github_stats":{"stars":631,"forks":148,"open_issues":106,"is_archived":false,"pushed_at":"2026-04-17T15:34:46Z","subscribers_count":15},"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.9.5","version_hint":null,"summary":"pysmt@0.9.5 is safe to use (health: 44/100)"},"version_scoped":null,"requested_version":null,"_cache":"hit","_response_ms":0,"_powered_by":"depscope.dev — free package intelligence for AI agents","typosquat":{"is_suspected":true,"targets":[{"legitimate_package":"pyjwt","distance":2,"reason":"adjacent_swap_or_double"},{"legitimate_package":"pyzmq","distance":2,"reason":"adjacent_swap_or_double"},{"legitimate_package":"pyqt","distance":2,"reason":"close_name"}]},"maintainer_trust":{"available":false},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"version_history_summary":{"total_versions":2,"first_release_age_days":1478,"last_release_days_ago":371,"avg_days_between_releases":1478,"release_velocity":"stale"}}