Mathlas MCP Server

What the code does

We read the source, 5 d ago · rules 995398eba69f

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

OUT_PNG = os.path.join(HERE, os.pardir, "architecture.png")

            proc = subprocess.run(

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

claude mcp add mathlas -- uvx mathlas-mcp

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

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

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

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

Optional settings from the registry entry, left out of the block above: 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)).