{"package":"varisat-internal-proof","ecosystem":"cargo","latest_version":"0.2.2","description":"Internal proof format for the Varisat SAT solver","license":"MIT/Apache-2.0","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://jix.one/project/varisat/","repository":"https://github.com/jix/varisat","downloads_weekly":2861100,"health":{"score":54,"risk":"high","breakdown":{"maintenance":0,"popularity":17,"security":25,"maturity":12,"community":0},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.2.2","total_count":2,"recent":["0.2.2","0.2.1"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":"2019-05-18T08:10:15.925164Z","last_published":"2020-09-09T17:08:26.244567Z","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.2.2","version_hint":null,"summary":"varisat-internal-proof@0.2.2 is safe to use (health: 54/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":532,"_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":true,"criticality_score":0.672,"criticality_tier":"high","velocity_pct":null,"velocity_trend":null,"publish_security":null},"version_history_summary":{"total_versions":2,"first_release_age_days":2541,"last_release_days_ago":2060,"avg_days_between_releases":2541,"release_velocity":"stale"}}