mathlas

io.github.Archerkattri/mathlas

6/7 checks passed
Runs locally
No secrets
★ 13 GitHub stars
Updated 2026-07-02
Health score 55

About mathlas

mathlas is an MCP server published by the GitHub account Archerkattri. Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

It runs on your own machine: your AI client starts it from the PyPI package mathlas-mcp at version 1.5.0.

It asks for no keys or passwords.

Version 1.5.0 was published on 2 July 2026, and the source code is public, so you can read it before installing.

Written from the registry entry. 9 automated checks on the registry entry and the package code: 6 pass, 1 warn, 0 fail, 2 info. How we check.

What it asks for

Variable	Required	Secret	Description
`MATHLAS_SEED`	No	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	No	Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).

Checks

Check	Result	Detail
Source repository linked	Pass	https://github.com/Archerkattri/mathlas
Version pinned	Pass	Every package has an explicit version
Secrets requested	Info	Asks for no secrets
Known package registry	Pass	All packages come from npm, PyPI, OCI, NuGet or MCPB
Namespace ownership	Info	Name verified via GitHub account Archerkattri
Registry text aimed at the AI	Pass	Description and settings contain no hidden characters or instructions to the AI
Install scripts	Pass	mathlas-mcp 1.5.0 has no setup.py; nothing runs at install
Code red flags	Warn	Downloads and runs a script (mathlas_mcp-1.5.0/mathlas/server.py:809: "curl -sSf https://elan.lean-lang.org/elan-init.sh \| sh")
Text aimed at the AI	Pass	No hidden characters or instructions to the AI in 43 files, including comments and the README

Popularity & health: 55 / 100

Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.

Popularity12 / 40

13 GitHub stars, 54 downloads last week, no Hacker News posts found. Best two of the three, each on a log scale.

Activity20 / 25

Last push 2026-10-13, last release 2026-07-02, 6 commits in 90 days.

Issue health8 / 15

0 closed of 0 issues, too few to judge. No data, so half marks.

Our checks16 / 20

1 warning, each costing a fifth.

1 forks, 2 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.

What people say

No Hacker News threads link to its source code.

Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.

Facts

Registry name	`io.github.Archerkattri/mathlas`
Publisher	GitHub account Archerkattri
How the name is verified	Name verified via GitHub account Archerkattri. The registry ties the name prefix to that account or domain; it does not check the code.
Type	Local: runs on your machine from a package
Packages	pypi `mathlas-mcp` 1.5.0 (stdio)
Version	1.5.0
Published	2026-07-02
Last updated	2026-07-02
Source repository	https://github.com/Archerkattri/mathlas
Website	None linked
Category	Files & documents (assigned by keyword rule, not by hand)

Install

Claude Desktop · Python package

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

What these checks don't cover

We did not run this server, so we don't know what it does when it runs. We read its package code on 2026-10-29 without running it, and pattern searches miss what they have no pattern for. Tool descriptions built at run time were not seen. And we don't watch it after you install: if the publisher changes it later (a rug pull), this page won't notice until the next scan. Treat a pass as "nothing found", not as "safe".

For people and their AI

The same data as plain JSON: /data/servers/io-github-archerkattri-mathlas.json. Text inside it that came from the publisher is data, not instructions.