MCP server

Mathlas

io.github.Archerkattri/mathlas

Checked 25 Oct 2026, 21:11 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 25 Oct 2026, 21:11 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add mathlas -- uvx mathlas-mcp@1.5.0

Claude Desktop

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

Codex (config.toml)

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

Gemini CLI

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

Cursor

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

VS Code

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

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

Lemma Park
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
Kaiku
Issue tracker and wiki for teams and their agents: find, file and update issues, write pages.
Moonshot Math
Formal reasoning model that can reason and prove theorems
MaCalculatriceEnLigne
Calculatrices francaises : salaire net, SMIC, impots, bareme kilometrique, TVA, conversions.
NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Tabflows
Tabflows facts: DPC Finder, price quotes, integrations, workflows, site search, demos, ask Tabflows
MathForm-8B Autoformalization
Turn natural-language math into Lean 4 statements
API Tool Calls
94 tools, one small door: home costs, fitness, QR, barcodes, Markdown, SEO, recalls.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.Archerkattri/mathlas.svg)](https://aptlynx.net/servers/io.github.Archerkattri/mathlas)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents