Mathlas MCP Server

by archerkattriio.github.Archerkattri/mathlasv1.5.0

Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.

13Pythonstdioofficial registry

context tax

queued

security

queued

cold start

queued

freshness

Active22d ago

Install Mathlas MCP server

claude mcp add mathlas -- uvx mathlas-mcp

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

Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).

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

Settings → Developer → Edit Config (claude_desktop_config.json), then restart.

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

Add to .vscode/mcp.json in your workspace.

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

Add to ~/.codeium/windsurf/mcp_config.json.

Variable	Required	Secret	Description
MATHLAS_SEED	—	—	Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).
MATHLAS_INDEX	—	—	Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).