ax Prover Base MCP Server: Install & Setup

Install ax Prover Base in Claude Code

Claude Code

claude mcp add --transport http ax-prover-base https://prover.axiomatic-ai.com/mcp/

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "ax-prover-base": {
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}

Frequently asked questions

What does the ax Prover Base MCP server do?

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

Is the ax Prover Base MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does ax Prover Base run locally or remotely?

Remote. Hosted by the provider. You connect with a URL, nothing to install.

How do I add ax Prover Base to Claude Code?

Run: claude mcp add --transport http ax-prover-base https://prover.axiomatic-ai.com/mcp/

More other tools & integrations MCP servers

View all

Reactive Resume

45k

reactive-resume/reactive-resume

Free open-source resume builder with remote MCP tools for resumes and job applications.

RemoteFree

Puter

44k

HeyPuter/puter

Puter MCP enables AI tools to interact with Puter: manage files, websites, workers, and more

RemoteAccount needed

Pascal 3D Editor

25k

pascalorg/editor

Create, inspect, validate, and save editable 3D building scenes with Pascal's MCP server.

Local + RemoteFree

Oh My Posh Validator

24k

JanDeDobbeleer/oh-my-posh

Validate oh-my-posh configurations and segment snippets against the official schema.

RemoteAccount needed

InstantDB

11k

instantdb/instant

Create, manage, and update applications on InstantDB, the modern Firebase.

LocalFree

Nhost

9.4k

nhost/nhost

Let your users work with their own data through an AI assistant, limited to what they can see.

LocalFree