MCP Servers

Archerkattri/mathlas

Name: Archerkattri/mathlas
Author: Various

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.

Visit site ↗

Our verdict

Not reviewed yet

We have not reviewed Archerkattri/mathlas yet

No one at Enterprise DNA has checked this listing against its sources. The description comes from public listings gathered automatically. Any fact below shows where it came from and when it was last checked.

How we review records

From the listing

About Archerkattri/mathlas

A set of airtight math tools accessible via the Model Context Protocol (MCP). It provides theorem search over 3.7 million theorems, PSLQ constant identification, OEIS lookup, real Lean kernel checks, and applicability checklists. The tool contains no LLM and requires no API key, running entirely locally.

Best for

Developers building AI agents that need rigorous mathematical verification without relying on an LLM.

Use cases

Verifying mathematical conjectures with automated theorem search.
Identifying unknown constants using PSLQ algorithm.
Checking mathematical statements against the Lean kernel for correctness.

Notes

1 stars on GitHub. Last updated 2026-06-11. Licensed Apache-2.0.

Pros

No external API dependencies, runs fully offline.
Integrates multiple rigorous math tools into a single MCP interface.
Provides applicability checklists to guide appropriate use.

Cons

Very early stage project with only 1 star and limited community support.
Requires understanding of MCP and local setup.
Coverage may be limited to specific theorem databases and constant identification methods.

Key facts

What we have checked

Days since the last commit: 13; Checked 26 Oct 2026GitHub
GitHub forks: 1; Checked 26 Oct 2026GitHub
GitHub stars: 13; Checked 26 Oct 2026GitHub
Open issues: 0; Checked 26 Oct 2026GitHub
Releases in the last 90 days: 0; Checked 26 Oct 2026GitHub

Each value shows when we last confirmed it and where it came from. Values we have not confirmed are left out, never guessed.

How to use

How to set it up

As the listing publishes it. We have not run this install.

Install

pip install mathlas-mcp              # core: numeric + retrieval + verify + scaffolds

Tools exposed

search_existing_math
verify_numeric
verify_formal
identify_constant
identify_sequence
search_formal_math
applicability_checklist
conjecture_relation

Clients the listing names (not checked here)

Claude Code, Cursor, ChatGPT

Install

Add Archerkattri/mathlas to your client

Not verified yet

Our lab has not run this server yet. "Config checked" on a client means the recipe matches that client's documented config format; it does not mean we ran it.

Claude Code

Config checked

Run in your terminal (runs on your computer)

claude mcp add --transport stdio archerkattri-mathlas -- uvx mathlas-mcp@1.5.0

Version 1.5.0 · From the Official MCP registry, read 24 Oct 2026 · Format checked against Claude Code's config docs

Claude Desktop

Config checked

Add to claude_desktop_config.json (runs on your computer)

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

Version 1.5.0 · From the Official MCP registry, read 24 Oct 2026 · Format checked against Claude Desktop's config docs

Cursor

Config checked

Add to .cursor/mcp.json (runs on your computer)

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

Version 1.5.0 · From the Official MCP registry, read 24 Oct 2026 · Format checked against Cursor's config docs

VS Code

Config checked

Add to .vscode/mcp.json (runs on your computer)

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

Version 1.5.0 · From the Official MCP registry, read 24 Oct 2026 · Format checked against VS Code's config docs

Codex

Config checked

Add to ~/.codex/config.toml (runs on your computer)

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

Version 1.5.0 · From the Official MCP registry, read 24 Oct 2026 · Format checked against Codex's config docs

ChatGPT: ChatGPT connects only to remote servers that need no API key.

Recipes come from the server's entry in the official MCP registry. Check the package name before you run it, and keep keys out of shared files.

Works with

What Archerkattri/mathlas connects to

5 clients, each with how we know and when we checked.

Works with	Type	How we know	Checked
Claude Code	Client	Install recipe matches the client's documented formatRuns locally, version 1.5.0Config checked	24 Oct 2026Claude Code docs
Claude Desktop	Client	Install recipe matches the client's documented formatRuns locally, version 1.5.0Config checked	24 Oct 2026Claude Desktop docs
Cursor	Client	Install recipe matches the client's documented formatRuns locally, version 1.5.0Config checked	24 Oct 2026Cursor docs
VS Code	Client	Install recipe matches the client's documented formatRuns locally, version 1.5.0Config checked	24 Oct 2026VS Code docs
Codex	Client	Install recipe matches the client's documented formatRuns locally, version 1.5.0Config checked	24 Oct 2026Codex docs

Health and security

Is Archerkattri/mathlas looked after, and what do its setup files show

Health score

38 out of 100

Does someone look after this repository? It does not say the code is good or safe. Worked out from GitHub signals checked 26 Oct 2026. How it is worked out

Part	Points	What we saw
Recent activity	30 of 30	Last push 13 days ago
Releases	0 of 15	0 releases in 90 days
Issue replies	Not counted	The latest check has no issue response reading (fewer than 3 measured issues, or issues switched off)
Maintainer	0 of 15	Owned by a single user
Official source	0 of 20	Community server

Sources

Where this comes from

GitHubRegistry
Checked 26 Oct 2026 · Days since the last commit, GitHub forks, GitHub stars, Open issues, Releases in the last 90 days

A source shows what was published when we checked it. It does not certify security, performance or a working installation. Read our method.

Changelog

What changed

No changes recorded yet. Releases, price changes and deprecations appear here, with their dates, once we track them for this record.

Pairs with

Other entries in the index that connect to this one. Click through to see the chain.

Built with1 entry

MMCPlowCatalogue

FastMCP

Various

🚀 The fast, Pythonic way to build MCP servers and clients.

★ 25,425

Free 27-page guide

Get the free Developer’s Field Guide

A 27-page field guide to the AI coding workflow with Claude. Claude Code, MCP servers, the prompt patterns that work, and what to delegate. Free.

Enter your work email. We send it straight over, plus a few short notes worth knowing. Unsubscribe any time.

← Back to MCP Servers Submit your own entry →