servers / com-axiomatic-ai-prover

com.axiomatic-ai/prover MCP server

communitystreamable_httpremoteunknownhealthy

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

Is it safe?Setup guide Alternatives Claim this server

01Tools · 0

Tools require a live tools/list handshake. For local/stdio servers that runs in a sandbox (gated off until configured); remote servers are probed directly.

02Install & source

https://prover.axiomatic-ai.com/mcp/

remote_url

repohttps://github.com/Axiomatic-AI/ax-prover-base-mcp
homepagehttps://prover.axiomatic-ai.com/mcp/
adoption0 stars · 0 forks

05Provenance & freshness

sourcesOfficial MCP Registry [p1]

last_checked2026-07-07 08:42Z

next_check2026-07-09 08:42Z

cadenceevery 48h

verifiedhandshake:skipped metadata:passed

index_statusindex — 6 unique facts >= 5

06Badge

Add the “as seen on MCPExplorer” badge to your README.

[![com.axiomatic-ai/prover MCP — as seen on mcpexplorer.com](https://mcpexplorer.com/badge/com-axiomatic-ai-prover.svg)](https://mcpexplorer.com/servers/com-axiomatic-ai-prover)

Next step

This is one server. A loadout combines the right servers, governance, and proven plays for a whole job — assembled deliberately, not tool-dumped.

Explore loadouts →