{"package":"libz3","ecosystem":"conda","latest_version":"4.16.0","description":"The Z3 Theorem Prover","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://github.com/Z3Prover/z3","repository":"https://github.com/Z3Prover/z3","downloads_weekly":237,"health":{"score":64,"risk":"moderate","breakdown":{"maintenance":20,"popularity":3,"security":25,"maturity":6,"community":10},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"4.16.0","total_count":6,"recent":["4.15.3","4.15.4","4.15.5","4.15.7","4.15.8","4.16.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":"2025-10-27 10:50:12.444000+00:00","last_published":"2026-02-19 09:26:59.889000+00:00","dependencies_count":0,"dependencies":[]},"github_stats":{"stars":12198,"forks":1647,"open_issues":161,"is_archived":false,"pushed_at":"2026-04-29T04:06:53Z","subscribers_count":174},"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":"4.16.0","version_hint":null,"summary":"libz3@4.16.0 is safe to use (health: 64/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":"libev","distance":2,"reason":"adjacent_swap_or_double"},{"legitimate_package":"libpq","distance":2,"reason":"adjacent_swap_or_double"},{"legitimate_package":"libuv","distance":2,"reason":"adjacent_swap_or_double"}]},"maintainer_trust":{"available":false},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"version_history_summary":{"total_versions":6,"first_release_age_days":183,"last_release_days_ago":68,"avg_days_between_releases":37,"release_velocity":"active"}}