{"package":"knuckledragger","ecosystem":"pypi","latest_version":"0.2.0","description":"Interactive Theorem Prover","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://pypi.org/project/knuckledragger/","repository":"","downloads_weekly":8,"health":{"score":45,"risk":"high","breakdown":{"maintenance":15,"popularity":0,"security":25,"maturity":3,"community":2},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.2.0","total_count":3,"recent":["0.1.3","0.1.4a1","0.2.0"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":1,"first_published":null,"last_published":"2026-02-01T17:13:25.091644Z","dependencies_count":19,"dependencies":["z3-solver>=4.15.4","lark>=1.3.1","graphviz>=0.20.3","sympy","pytest>=6.0; extra == \"dev\"","nbclient; extra == \"dev\"","jupyter; extra == \"dev\"","hypothesis>=6.124.1; extra == \"dev\"","cle>=9.2.148; extra == \"pypcode\"","pypcode>=3.0.3; extra == \"pypcode\"","click>=8.1.8; extra == \"pypcode\"","maturin[patchelf]>=1.8.6; extra == \"rust\"","egglog>=9.0.0; extra == \"solvers\"","python-flint; extra == \"solvers\"","cffi>=2.0.0; extra == \"solvers\"","ziglang>=0.15.1; extra == \"solvers\"","cloudpickle>=3.1.2; extra == \"solvers\"","cvc5>=1.3.2; extra == \"solvers\"","yowasp-yosys>=0.50.0.0.post858; extra == \"yosys\""]},"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":"use_with_caution","issues":["Moderate health score (45/100) — verify manually"],"use_version":"0.2.0","version_hint":null,"summary":"knuckledragger@0.2.0 low health (45/100) — consider alternatives"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":730,"_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":false},"version_history_summary":{"total_versions":3,"first_release_age_days":null,"last_release_days_ago":90,"avg_days_between_releases":null,"release_velocity":"moderate"}}