How do I install mathlas?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

How is the trust score calculated?

This listing scores 13 (Limited). The formula is published on the methodology page.

MCPpedia

mathlas MCP Server — Install for Claude, Cursor & VS Code | MCPpedia

mathlas MCP Server

Name: mathlas MCP Server
Author: archerkattri

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

Tools Versions Alternatives

Registryarcherkattri

13Limited

Install

~/Library/Application Support/Claude/claude_desktop_config.json

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

Install guide

Related servers

SuperLocalMemory

78Good

Local-first memory for AI agents: recall with sources, answer checks, documents, mesh, governance.

Registryqualixar249 stars1.3K/wk

Codebase Memory

77Good

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

Environment

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

mathlas MCP Server

Install

Related servers

SuperLocalMemory

Codebase Memory

Environment

Tools

About

FAQ

Reviews

Firecrawl MCP Server

Zotero MCP

haiku.rag

openInvest