prover
01Axiomatic-AI/ax-prover-base-mcp
MCP server Claude CodeCodexCursor +2
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. Remote server at prover.axiomatic-ai.com.
not rated 1
+1 8mo ago A
tokens not measured