Servers Playground How we check Add a server Log in

Servers Playground How we check Add a server Log in

mcptry

Every listing comes from the official MCP Registry. We connect to each remote server on a schedule and publish what happened. Ranking uses health and recency only; nobody pays to rank higher.

Directory

All servers Working now Playground

About

How we check Add a server MCP Registry

Prover MCP server | mcptry

P

Prover

Needs sign-in

com.axiomatic-ai/proverv0.1.0 Domain verified

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

Developer Tools

Source Registry entry

Maintain this server? Claim it

Try it

This server signs you in with OAuth, which the playground doesn't support yet. Install it in your MCP client to try it.

Tools

We haven't seen a tool list from this server yet.

Health

The server is up but asks for credentials before it will talk.

Uptime, 30 days: 100%
Uptime, 90 days: 100%

Oct 23, 2026Oct 25, 2026

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

Last check Oct 25, 01:47 UTC: auth required

Install

Remotestreamable-http

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

Claude Code

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

How it ranks

51/100

Works right now: 30/40
Uptime, 30 days: 10/10
Tool quality: 0/15
Complete listing: 6/15
Domain verified: 5/5
Claimed by its maintainer: 0/5
Speed: 0/5
Recently updated: 0/5

How scoring works