PyPI recent updates for axiom-axle-mcp https://pypi.org/project/axiom-axle-mcp/ Recent updates to the Python Package Index for axiom-axle-mcp en 0.3.3 https://pypi.org/project/axiom-axle-mcp/0.3.3/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Thu, 07 May 2026 17:49:03 GMT 0.3.2 https://pypi.org/project/axiom-axle-mcp/0.3.2/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Thu, 07 May 2026 17:43:19 GMT 0.3.1 https://pypi.org/project/axiom-axle-mcp/0.3.1/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Wed, 29 Apr 2026 22:34:19 GMT 0.3.0 https://pypi.org/project/axiom-axle-mcp/0.3.0/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Wed, 29 Apr 2026 22:21:05 GMT 0.2.0 https://pypi.org/project/axiom-axle-mcp/0.2.0/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Tue, 28 Apr 2026 01:07:27 GMT 0.1.5 https://pypi.org/project/axiom-axle-mcp/0.1.5/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Thu, 05 Mar 2026 23:08:20 GMT 0.1.4 https://pypi.org/project/axiom-axle-mcp/0.1.4/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Wed, 04 Mar 2026 21:02:46 GMT 0.1.3 https://pypi.org/project/axiom-axle-mcp/0.1.3/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Wed, 04 Mar 2026 20:00:48 GMT 0.1.2 https://pypi.org/project/axiom-axle-mcp/0.1.2/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Wed, 04 Mar 2026 18:37:20 GMT 0.1.1 https://pypi.org/project/axiom-axle-mcp/0.1.1/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Wed, 04 Mar 2026 18:27:11 GMT 0.1.0 https://pypi.org/project/axiom-axle-mcp/0.1.0/ MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients Wed, 04 Mar 2026 18:17:32 GMT