Home Explore Connect Playground About

MCP Playground

The interactive playground for Model Context Protocol. Browse servers, inspect tools, and run them live in your browser.

Links

Home
Browse Registry
Connect a Server
Playground
About

Resources

GitHub →
MCP Registry →
MCP Docs →

© 2026 MCP Playground — Not affiliated with Anthropic or the MCP project.

Built on the official MCP Registry

Back to Explore

com.axiomatic-ai/prover

v0.1.0Live · No Auth

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

Remote Endpoint

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

Checking...

Inspect & Test Live Inspect Only

Package ID

com.axiomatic-ai/prover

Version

0.1.0

com.axiomatic-ai/prover — MCP Playground