mathlas

local MCP server

Installation

Terminal

claude mcp add mathlas -e MATHLAS_SEED=... -e MATHLAS_INDEX=... -- uvx mathlas-mcp

Run in your project folder. Add --scope user to use it everywhere.

Claude Desktop, Cursor & other clients

Add to claude_desktop_config.json or .cursor/mcp.json.

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ],
      "env": {
        "MATHLAS_SEED": "...",
        "MATHLAS_INDEX": "..."
      }
    }
  }
}

Fill in the environment variables with your own credentials.

Summary

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

Questions

mathlas is a local MCP server distributed as the pypi package mathlas-mcp.

Run: claude mcp add mathlas -e MATHLAS_SEED=... -e MATHLAS_INDEX=... -- uvx mathlas-mcp

Run: codex mcp add mathlas --env MATHLAS_SEED=... --env MATHLAS_INDEX=... -- uvx mathlas-mcp

Similar MCP servers

NameStars

fastCRWio.github.us/fastcrw1,079
webfetchio.github.firish/webfetch57
iFlow Searchio.github.zhengyanglsun/iflow-search32
Searchpin — Free Web Search for AI Agentsio.github.telly6/searchpin26
Repomixio.github.yamadashy/repomix29K
Firecrawl MCP Serverio.github.firecrawl/firecrawl-mcp-server7,526
exaai.exa/exa5,056
arxiv-mcp-serverio.github.blazickjp/arxiv-mcp-server3,177