{"package":"ax-prover","ecosystem":"pypi","latest_version":"0.1.1","description":"LangGraph agent for Lean4 theorem formalization and proving","license":"AGPL-3.0-only","license_risk":"unknown","commercial_use_notes":"verify manually — license not parseable / not declared.","homepage":"https://pypi.org/project/ax-prover/","repository":"https://github.com/Axiomatic-AI/ax-prover-base","downloads_weekly":693,"health":{"score":51,"risk":"high","breakdown":{"maintenance":20,"popularity":3,"security":25,"maturity":3,"community":0},"deprecated":false,"max_score":100},"vulnerabilities":{"count":0,"critical":0,"high":0,"medium":0,"low":0,"details":[]},"versions":{"latest":"0.1.1","total_count":2,"recent":["0.1.0","0.1.1"]},"metadata":{"deprecated":false,"deprecated_message":null,"maintainers_count":0,"first_published":null,"last_published":"2026-02-28T20:54:55.940816Z","dependencies_count":26,"dependencies":["aiohttp>=3.9.0","google-auth>=2.23.0","langgraph>=1.0.3","langchain>=1.0.8","langchain-anthropic>=1.3.0","langchain-google-genai>=4.2.0","langchain-openai>=1.1.7","lean-interact>=0.1.0","jsonargparse[omegaconf]>=4.35.0","omegaconf>=2.3.0","platformdirs>=4.0","pydantic>=2.12.4","pylatexenc>=2.10","python-dotenv>=1.2.1","requests>=2.31.0","tavily-python>=0.7.13","wikipedia>=1.4.0","build>=1.0.0; extra == \"dev\"","pre-commit>=4.5.0; extra == \"dev\"","ruff>=0.14.6; extra == \"dev\"","pytest>=9.0.1; extra == \"dev\"","pytest-cov>=7.0.0; extra == \"dev\"","pytest-asyncio>=1.3.0; extra == \"dev\"","pytest-timeout>=2.4.0; extra == \"dev\"","setuptools-scm>=8.0; extra == \"dev\"","twine>=6.0.0; extra == \"dev\""]},"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.1.1","version_hint":null,"summary":"ax-prover@0.1.1 is safe to use (health: 51/100)"},"version_scoped":null,"requested_version":null,"_cache":"miss","_response_ms":760,"_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":2,"first_release_age_days":null,"last_release_days_ago":62,"avg_days_between_releases":null,"release_velocity":"active"}}