How do I install Mathlas?

Mathlas is a local plugin. Install it using PyPI package: mathlas-mcp and add the generated configuration snippet to your AI app's MCP config file. Then restart your AI app.

What credentials does Mathlas need?

Mathlas requires the following credentials or environment variables: MATHLAS_SEED, MATHLAS_INDEX. You can find setup instructions on the server detail page.

What AI apps work with Mathlas?

Mathlas uses the Model Context Protocol (MCP) and works with any MCP-compatible AI app, including Claude, ChatGPT / Codex, Gemini, Copilot, Cursor, and more.

Back to Browse

Mathlas MCP Server

by Archerkattri

Developer ToolsLow Risk10.0MCP RegistryLocal

Free

Server data from the Official MCP Registry

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

About

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

Security Report

10.0

Low Risk10.0Low Risk

Valid MCP server (1 strong, 1 medium validity signals). No known CVEs in dependencies. Package registry verified. Imported from the Official MCP Registry.

3 files analyzed · 1 issue found

Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.

Permissions Required

This plugin requests these system permissions. Most are normal for its category.

file_system

Check that this permission is expected for this type of plugin.

env_vars

Check that this permission is expected for this type of plugin.

Shell Command Execution

Runs commands on your machine. Be cautious — only use if you trust this plugin.

What You'll Need

Set these up before or after installing:

Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).Optional

Environment variable: MATHLAS_SEED

Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).Optional

Environment variable: MATHLAS_INDEX

How to Install

Add this to your MCP configuration file:

{
  "mcpServers": {
    "io-github-archerkattri-mathlas": {
      "env": {
        "MATHLAS_SEED": "your-mathlas-seed-here",
        "MATHLAS_INDEX": "your-mathlas-index-here"
      },
      "args": [
        "mathlas-mcp"
      ],
      "command": "uvx"
    }
  }
}

Reviews

No reviews yet

Be the first to review this server!

More Developer Tools MCP Servers

Fetch

Free

by Modelcontextprotocol · Developer Tools

Web content fetching and conversion for efficient LLM usage

Git

Free

by Modelcontextprotocol · Developer Tools

Read, search, and manipulate Git repositories programmatically

Toleno

Free

by Toleno · Developer Tools

Toleno Network MCP Server — Manage your Toleno mining account with Claude AI using natural language.

Mathlas MCP Server

About

Security Report

Findings (1)

Permissions Required

What You'll Need

How to Install

Reviews

No reviews yet

More Developer Tools MCP Servers

Fetch

Git

Toleno

mcp-creator-python

MarkItDown

FinAgent