Skip to content
passportforagents← registry

com.axiomatic-ai/prover

v0.1.0

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

Repository: https://github.com/Axiomatic-AI/ax-prover-base-mcp
Source: official MCP Registry

Is this your server?

Claim it and prove control of its domain to earn a verified badge and a transparent trust score.

Claim & verify