How do I install Mathlas?

Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does Mathlas need an API key?

The publisher lists these environment variables: MATHLAS_SEED, MATHLAS_INDEX.

What transport does Mathlas use?

Mathlas runs locally over stdio.

When was Mathlas last checked?

Last checked 2026-10-26. Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

Mathlas MCP 服务器

接入你的智能体

添加此服务器

The publisher's own command. Not a PlugMCP endpoint.

Add to Cursor Add to VS Code 在 PlugMCP 上运行

用我们的密钥与日志托管一份副本。

Local command

uvx mathlas-mcp==1.5.0

Credentials from the publisher

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).

Claude Code has no install link for a local command. Copy the command below and run it in a terminal.

shClaude Code

1MATHLAS_SEED=<value> MATHLAS_INDEX=<value> claude mcp add archerkattri-mathlas -- uvx mathlas-mcp==1.5.0

Run in a terminal.

jsonClaude Desktop

1{2  "mcpServers": {3    "archerkattri-mathlas": {4      "command": "uvx",5      "args": [6        "mathlas-mcp==1.5.0"7      ],8      "env": {9        "MATHLAS_SEED": "<value>",10        "MATHLAS_INDEX": "<value>"11      }12    }13  }14}

claude_desktop_config.json

Local · pypiPublisher installStep-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

在 PlugMCP 上运行

用我们的密钥与日志托管一份副本。

这是你新建的服务器，不是此条目的官方端点。若要用发布方的 URL 与凭证，请使用上方安装面板。

启动

Server facts

Local

Transport: stdio
License: Apache-2.0
API key

Tools

No tool list yet. Remote servers get one after the first health check.

FAQ

Mathlas

添加此服务器

用我们的密钥与日志托管一份副本。

Server facts

Tools

Questions

How do I install Mathlas?

Does Mathlas need an API key?

What transport does Mathlas use?

When was Mathlas last checked?

Documentation