MCP ServerHTTPOfficialv0.1.0

prover MCP Server

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

com.axiomatic-ai/prover

Hosted URL

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

Transport

HTTP

Auth

No auth required

Connect to prover

Hosted endpoint — paste into any MCP client.

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

Where to find authoritative docs and source for prover.

Open MCP Agent Studio and connect this server to Claude, GPT, Gemini, DeepSeek and more — no install required.

PublicData Oracle

Public data API with ML enrichment — SEC EDGAR, FRED, NOAA, EPA, USGS. 404 endpoints.

1stDibs

MCP server for browsing and searching items on 1stDibs marketplace.

mcp-v1

Sub-cent factual claim verification against live data sources.

ads

Manage Google, Meta, TikTok & LinkedIn ads. 91 tools for campaigns, analytics & optimization.