{"package":"leanclient","ecosystem":"pypi","latest_version":"0.9.4","description":"Interact with the Lean theorem prover language server","license":"MIT","license_risk":"permissive","commercial_use_notes":"Permissive: commercial closed-source use OK; preserve the copyright notice.","homepage":"https://pypi.org/project/leanclient/","repository":"https://github.com/oOo0oOo/leanclient","downloads_weekly":8006,"health":{"score":63,"risk":"moderate","breakdown":{"maintenance":20,"popularity":6,"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.9.4","total_count":45,"recent":["0.2.1","0.3.0","0.3.1","0.4.0","0.5.0","0.5.1","0.5.2","0.5.3","0.5.4","0.5.5","0.6.0","0.6.1","0.6.2","0.7.0","0.8.0","0.9.0","0.9.1","0.9.2","0.9.3","0.9.4"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":null,"last_published":"2026-03-17T09:49:22.500203Z","dependencies_count":16,"dependencies":["orjson>=3.11.1","psutil>=5.9","tqdm>=4.67.1","gprof2dot>=2024.6.6; extra == \"dev\"","ipykernel>=6.29.5; extra == \"dev\"","ruff>=0.8.0; extra == \"dev\"","sphinx-rtd-theme>=3.0.2; extra == \"dev\"","sphinx>=8.1.3; extra == \"dev\"","psutil>=5.9; extra == \"test\"","pytest-benchmark>=4.0; extra == \"test\"","pytest-cov>=4.1; extra == \"test\"","pytest-html>=4.1; extra == \"test\"","pytest-sugar>=1.0; extra == \"test\"","pytest-timeout>=2.2; extra == \"test\"","pytest-xdist>=3.5; extra == \"test\"","pytest>=8.0; extra == \"test\""]},"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 (63/100) — verify manually"],"use_version":"0.9.4","version_hint":null,"summary":"leanclient@0.9.4 low health (63/100) — consider alternatives"},"version_scoped":null,"_meta":{"endpoint":"check","tier":"full","philosophy":"DepScope is free. Use the cheapest endpoint that answers your real question.","cheaper_alternatives":[{"endpoint":"/api/exists/pypi/leanclient","tokens_estimated":12,"use_when":"you only need to know if the package exists (hallucination guard)"},{"endpoint":"/api/health/pypi/leanclient","tokens_estimated":80,"use_when":"you only need a 0-100 score for go/no-go (>=70 = safe)"},{"endpoint":"/api/prompt/pypi/leanclient","tokens_estimated":280,"use_when":"you want a plain-text LLM-friendly brief instead of JSON"},{"endpoint":"POST /api/check_bulk","tokens_estimated":60,"use_when":"you have 5+ packages to check; sends one round-trip instead of N"}],"docs":"https://depscope.dev/integrate"},"requested_version":null,"_cache":"miss","_response_ms":848,"_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":20,"first_release_age_days":null,"last_release_days_ago":47,"avg_days_between_releases":null,"release_velocity":"active"}}