MCP.Market

Prover MCP server

online · 100% uptime
by axiomatic-ai.com·com.axiomatic-ai/prover·v0.1.0
No reviews yet

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

B80/100grade B
Write a reviewRun it
What users say
No reviews yet
Be the first
Safety scan
B80/100

full report

Adoption
New

0 stars

Reviews

Write one

Nobody has reviewed Prover yet.

If you have run it, two minutes of your experience saves the next person an afternoon.

Prover tools

Tool list not cached yet. `describe` through the gateway fetches it live.

Public scan report

scanner v0.1.10 · 2026-09-28 · same rubric, same numbers if you re-run it

no findings
  • –Code scanremote-only server, no package to scann/a
  • Live reliabilityremote reachable in 158ms (auth required)20/20
  • –Tool poisoningtools not inspected (endpoint requires auth); not countedn/a
  • Auth qualityOAuth resource metadata advertised on 40115/15
  • Maintenancelast push 210 days ago4/15
  • Maintainer identityregistry namespace matches repository owner; GitHub account older than a year9/10
Overall 80/100. Components that don't apply are left out of the denominator. Any critical finding is an F.RubricAppeal a findingJSON

How Prover compares

Against every graded MCP server, from our own scans and uptime checks. Updated after each scan run.

Safety score
80/100
higher than 60% of 48,255 servers
Uptime
100%
of our recent checks; the typical remote server answers 100%
Response time
153 ms
faster than 72% of 30,031 servers

Install Prover in Claude Code, Cursor or VS Code

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

Prover: common questions

Is Prover MCP server safe?
Mostly: it is graded B (80/100). Read the Prover safety report
How do I install Prover?
It runs remotely at prover.axiomatic-ai.com. Add it to Claude Code, Cursor, VS Code or Claude Desktop with the snippets above, or call it through the mcp.market gateway without installing anything.
Does Prover need an API key?
No key to paste: it signs you in with OAuth when your client connects.
Is Prover maintained?
The last commit was 248 days ago (2026-03-01). The latest release is v0.1.0.
Is Prover up?
100% of our last 28 checks got an answer. We check remote servers about four times a day.
How does Prover compare with other MCP servers?
safety score 80/100 (higher than 60% of 48,255 servers); uptime 100% (of our recent checks; the typical remote server answers 100%); response time 153 ms (faster than 72% of 30,031 servers). Full comparison.