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