com.axiomatic-ai/prover

http

v0.1.0

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

by Axiomatic-AI· Repository

axiomatic

prover

Transport

This MCP server uses http transport. It exposes an HTTP endpoint that agents call remotely. Remote endpoint: https://prover.axiomatic-ai.com/mcp/

Use in Builder Browse All Servers

Related MCP Servers

Notion

http

Search, update, and power workflows across your Notion workspace

notion

by notion

Stripe

http

Payment processing and financial infrastructure tools

stripe

by stripe

Supabase

http

Manage Postgres databases, auth, and storage

supabase

by supabase