com.axiomatic-ai/prover

v0.1.0

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

Install

# Remote MCP endpoint: https://prover.axiomatic-ai.com/mcp/

Details

Transport: streamable-http
Status: active
Repository: https://github.com/Axiomatic-AI/ax-prover-base-mcp
Published: 2026-02-23
Updated: 2026-02-23

Own this MCP server?

Email hello@agentalmanac.org with proof you own this listing (link your GitHub user to com.axiomatic-ai/prover) to claim it and earn a ⭐ badge plus public contact info.