mcpbeat

Mathlas MCP Server

io.github.Archerkattri/mathlas
local only

Mathlas runs on your own machine — the client starts it, so there is no endpoint to ping. 210 installs a week from pypi. Last commit 25 Jul 2026.

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

Installs per day peak 107 · avg 35 · +7% w/w
a month agotoday
210
Installs / week
pypi · mathlas-mcp
9
Stars
0 open issues
25 Jul 2026
Last commit
0 releases in 90 days
Apache-2.0
License
Python

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.

run in your terminal
claude mcp add mathlas -- uvx mathlas-mcp
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "mathlas": {
      "args": [
        "mathlas-mcp"
      ],
      "command": "uvx"
    }
  }
}
~/.codex/config.toml
[mcp_servers.mathlas]
command = "uvx"
args = ["mathlas-mcp"]
.cursor/mcp.json
{
  "mcpServers": {
    "mathlas": {
      "args": [
        "mathlas-mcp"
      ],
      "command": "uvx"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "mathlas": {
      "args": [
        "mathlas-mcp"
      ],
      "command": "uvx"
    }
  }
}

Mathlas — questions

Answers built from our own checks of this server.

Why is there no uptime for Mathlas?
Mathlas runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package mathlas-mcp was installed 210 times last week.
How do I connect Mathlas?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls mathlas-mcp straight from pypi; nothing to host, nothing to sign up for.
How many people use Mathlas?
The pypi package mathlas-mcp was installed 210 times in the last week. Week over week that is +7%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.
Is Mathlas open source?
Yes — it is published under the Apache-2.0 licence, written in Python and 9 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.