MCP server

mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Good fit for

claude mcp add --transport stdio mathlas -- uvx mathlas-mcp

Paste into claude_desktop_config.json

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Paste into ~/.cursor/mcp.json

{
  "mcpServers": {
    "mathlas": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Paste into .vscode/mcp.json

{
  "servers": {
    "mathlas": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

[mcp_servers.mathlas]
command = "uvx"
args = ["mathlas-mcp"]

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Not enough ratings yet

Ratings show once 3 people have rated.

No comments yet.

From the same category

Name	Pricing	Authentication	Hosting	Stars
World MonitorOfficial	Unknown	API key, OAuth	Remote	90k
PostHog MCP ServerOfficial	Unknown	API key	Remote	40k
Jitsu	Unknown	Unknown	Remote	5.1k
Microsoft Fabric MCP Server	Unknown	Unknown	Local	3.8k
Finance Toolkit	Unknown	API key	Local, Remote	5.5k
MetabaseOfficial	Unknown	OAuth	Remote	50k

Formula version 1

Official MCP Registry, awesome-mcp-servers.

Data from the Official MCP Registry.