{"package":"z3-solver","ecosystem":"pypi","latest_version":"4.16.0.0","description":"an efficient SMT solver library","license":"MIT License","homepage":"https://github.com/Z3Prover/z3","repository":"https://github.com/Z3Prover/z3","downloads_weekly":0,"health":{"score":59,"risk":"high","breakdown":{"maintenance":20,"popularity":0,"security":25,"maturity":12,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"4.16.0.0","total_count":50,"recent":["4.12.3.0","4.12.4.0","4.12.5.0","4.12.6.0","4.13.0.0","4.13.1.0","4.13.2.0","4.13.3.0","4.13.4.0","4.14.0.0","4.14.1.0","4.15.0.0","4.15.1.0","4.15.3.0","4.15.4.0","4.15.5.0","4.15.6.0","4.15.7.0","4.15.8.0","4.16.0.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2026-02-19T04:13:44.303318Z","dependencies_count":1,"dependencies":["importlib-resources; python_version < \"3.9\""]},"recommendation":{"action":"safe_to_use","issues":[],"use_version":"4.16.0.0","version_hint":null,"summary":"z3-solver@4.16.0.0 is safe to use (health: 59/100)"},"requested_version":null,"_cache":"miss","_response_ms":537,"_powered_by":"depscope.dev — free package intelligence for AI agents"}