com.axiomatic-ai/proverother

prover

Verified · yesterday

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Install

claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/

Our take

Not yet reviewed. This entry is synced and verified automatically but hasn't had an editorial pass yet. The data above is real; the judgment is yours for now.

Something wrong or dead here? Report it

Verification record

last verified: yesterday
github stars: 0
last commit: 4 mo ago
archived: no
in registry since: 2026-02-23

github.com/Axiomatic-AI/ax-prover-base-mcp