MCP Server MCP

com.axiomatic-ai/prover

By github 👁 1 views ▲ 0 votes

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

Homepage Verified source GitHub

{
  "remotes": [
    {
      "type": "streamable-http",
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  ],
  "packages": []
}

mcp model-context-protocol streamable-http

Comments

Loading comments...

Designs a real house exterior on its own photo, prices it line by line and documents it.

Discover, search, invoke, and rate A2A (Agent-to-Agent) protocol agents.

South African MCP server for airtime, data, SMS, VAS, electricity, balance, and network lookup.

Crypto payments for the agent economy — policy-gated vault operations under human control

Nolizi Calendar provides a hosted, owner-authenticated MCP server for scheduling. Its five tools discover event types, c

Bambara AI over MCP: text-to-speech, transcription and translation (Bamanankan + more).

Designs a real house exterior on its own photo, prices it line by line and documents it.

Your real Gmail, Outlook and calendars, worked as you: read, draft, send, schedule, organize.

Generate game-ready 3D models, textures, and audio from natural language, over MCP.

Confidential compute and inference sold to agents over x402 USDC, plus an agent wallet over MCP.