com.axiomatic-ai/prover

repo:https://github.com/axiomatic-ai/ax-prover-base-mcp

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

transport:
remote
credential class:
gated
repo:
https://github.com/Axiomatic-AI/ax-prover-base-mcp

Owner verification

Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.

Start verification →

Tools

Embed this server’s score

Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.

Vouch score: com.axiomatic-ai/prover
[![Vouch score](https://vouch.tools/api/servers/fd4dbd38-c821-4dba-ac54-92571b672ad0/badge.svg)](https://vouch.tools/servers/fd4dbd38-c821-4dba-ac54-92571b672ad0)
com.axiomatic-ai/prover — Vouch