Axiomatic-AI/ax-prover-base-mcp

An MCP for Lean4 code building and automated proving. Sign up on our website

0Stars on the repository

1Mods indexed here, across every type

6mo agoLast push, which is what freshness is scored on

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 0 6mo ago A tokens not measured