{"package":"axiom-axle-mcp","ecosystem":"pypi","exists":true,"latest_version":"0.3.3","repository":"","license":"MIT","description":"MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients","downloads_weekly":454,"deprecated":false,"health":{"score":62},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}