com.axiomatic-ai/prover
by com.axiomatic-ai · Added 9d ago
Install
git clone https://github.com/Axiomatic-AI/ax-prover-base-mcpAbout
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Tags
ai-mlmcp-serverofficial-registry
by com.axiomatic-ai · Added 9d ago
git clone https://github.com/Axiomatic-AI/ax-prover-base-mcpLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.