mcp server
ax-prover-base-mcp
An MCP for Lean4 code building and automated proving. Sign up on our website
Listed with a link only — no licence
The repository states no licence, so by default nobody may reuse it. We only link to it. Setup instructions and the README are on the project's own page.