AxProver

@Axiomatic-AI

An MCP server for building Lean4 code, and automated theorem proving

Tools

No tools detected

We auto-extract tools from the README. The maintainer can list them under a ## Tools heading to populate this tab.

Server config

{
  "mcpServers": {
    "ax-prover": {
      "type": "streamable-http",
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}

Basic information

Transports: stdio
Publisher: Axiomatic-AI
Submitted by: Leopoldo Sarra

More from Other

Awesome Mcp Servers

punkpeye

Added last year

Servers

modelcontextprotocol

Added last year

Sequential Thinking

modelcontextprotocol

Added last year

EverArt

modelcontextprotocol

Added 2 years ago

Reactive Resume

amruthpillai

Added 2 days ago