{"package":"z3","ecosystem":"homebrew","latest_version":"4.15.4","description":"High-performance 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":9812,"health":{"score":62,"risk":"moderate","breakdown":{"maintenance":20,"popularity":6,"security":25,"maturity":9,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"4.15.4","total_count":1,"recent":["4.15.4"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2026-03-20T11:38:18Z","dependencies_count":2,"dependencies":["cmake","python@3.14"]},"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":"4.15.4","version_hint":null,"summary":"z3@4.15.4 is safe to use (health: 62/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":false},"maintainer_trust":{"available":true,"bus_factor_3m":9,"active_contributors_12m":9,"primary_author_ratio":0.28,"owner_account_age_days":4048,"is_archived":false,"stars":12194,"alerts":[]},"malicious":{"is_malicious":false},"scorecard":{"available":false},"quality":{"available":false},"co_used_with":[{"package":"skin-tone","occurrences":5},{"package":"azure-mgmt-containerinstance","occurrences":3},{"package":"Amazon.CDK.AWS.ECR","occurrences":3}],"version_history_summary":{"total_versions":1,"first_release_age_days":39,"last_release_days_ago":39,"avg_days_between_releases":null,"release_velocity":"active"}}