mathlas

MCP server · PyPI · ★ 13 · graded 2026-10-23Source linked

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

No outside reports on file

mathlas is distributed via PyPI (mathlas-mcp); review its source code, dependencies, and requested permissions before use.

Based on public adoption and transparency signals as of Oct 23, 2026. Our opinion, not a code audit or security guarantee.

Was this verdict for Mathlas helpful?

What it can access

Local filesNo local folder access notedLOW
Command executionRuns shell or system commandsREVIEW
Network reachConnects to outside service APINOTED
CredentialsNo API token requiredLOW
Package sourcePyPI (mathlas-mcp)PUBLIC

Inferred from this listing’s public package details and description. Check the project’s source before installing.

Install

uvx mathlas-mcp

All setup options ↓

Check this skill Watch it in my stack Compare README badge View project

Everything known

We found nothing about this project in the sources we read (last checked 2026-10-30). That does not mean it has no problems.

0 incidents · 0 advisories · 0 news articles · 0 community threads · checked 2026-10-30

Popularity grade: D (from public signals such as stars and downloads, not a code review). Graded 2026-10-23.

Sources we read: OSV, GitHub Advisory Database, CISA Known Exploited Vulnerabilities, 44 security news feeds and our incident library. Last checked 2026-10-30.

Check a specific version →

About Mathlas

Mathlas is an MCP server focused on Web & browsing and Files & documents: Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

It is published on PyPI as mathlas-mcp and hosted on GitHub at Archerkattri/mathlas (13 GitHub stars, 64 PyPI downloads, last repository push on 2026-10-13). Based on its public metadata, it operates with standard local or API scope without broad shell execution flags noted.

Setup

Check these steps against the project’s own instructions before running anything.

Run the PyPI package mathlas-mcp in an isolated environment:

bash

uvx mathlas-mcp

See https://github.com/Archerkattri/mathlas (opens external site) for required environment variables.

Why this grade

DD — High risk signals

Signal-based grade (1/7 points): public source code. This reflects adoption and transparency, not a code review.

Popularity and upkeep

26/100

GitHub stars: 13
PyPI downloads: 64
Listing last refreshed: 2026-10-28

These are public popularity signals, not a maintenance check. Look at the repository’s commit history and open issues.

Risks to watch for

Dependency & version pinning: Distributed via PyPI (mathlas-mcp). Pin an exact release version or commit SHA rather than floating tags so upstream updates are reviewed first.

How to lower the risk

Least-privilege permissions

Give it access only to the specific folders, accounts or projects it needs, never your whole drive or admin account.
Use a separate, limited API key or login just for this tool so you can switch it off without affecting anything else.

Network isolation

Run it on a work computer or sandbox account, not one holding personal or company-sensitive data.
If your IT team can, limit which websites and services it is allowed to contact.

Monitoring

Check its activity history or logs weekly at first, and look at what it changed or sent.
Turn on alerts for new logins or unusual usage on any account it connects to.

Red flags to watch for

It asks for more access than its job requires, or prompts you to paste passwords.
It suddenly updates with new owners, or starts contacting unfamiliar websites.

Questions

How do I install Mathlas?

Run uvx mathlas-mcp (or pip install mathlas-mcp) in your terminal, or add the server entry to your claude_desktop_config.json or .cursor/mcp.json as shown in the Setup section on this page. Full setup docs and environment variables are in github.com/Archerkattri/mathlas.

Are there security reports about Mathlas?

No reports found for this package in our research (last checked 2026-10-30). Mathlas currently holds Grade D (High risk signals) based on public adoption and transparency signals. Key risk areas to watch include dependency & version pinning:.

Is Mathlas actively maintained?

Mathlas has 13 GitHub stars and 64 PyPI downloads, with its latest repository commit pushed on 2026-10-13. Our directory data was last refreshed on 2026-10-28. Check recent commit activity, release tags, and open issues at github.com/Archerkattri/mathlas before pinning it in production.

What are alternatives to Mathlas?

You can compare Mathlas side by side with other Search MCP servers in the Related tools section on this page, or use the Compare tool on AgentArmorHQ.

Maintain or use Mathlas? Show its live grade in your GitHub README, docs site, or run a check from the terminal before you install.

GitHub README Markdown:

markdown

[![AgentArmorHQ Risk Grade for Mathlas](https://agentarmorhq.com/api/badge/archerkattri-mathlas)](https://agentarmorhq.com/skills/archerkattri-mathlas)

HTML embed:

html

<a href="https://agentarmorhq.com/skills/archerkattri-mathlas"><img src="https://agentarmorhq.com/api/badge/archerkattri-mathlas" alt="AgentArmorHQ Risk Grade for Mathlas" height="20" /></a>

Terminal check:

terminal

curl -fsSL https://agentarmorhq.com/api/cli | node --input-type=module - check "archerkattri-mathlas"

Share with your security lead

Need sign-off to use mathlas? Copy this note for Slack, a ticket or a pull request.

### AgentArmorHQ Security Review Memo: mathlas
- **Listing URL:** https://agentarmorhq.com/skills/archerkattri-mathlas
- **Type:** App connector
- **Risk Grade:** Grade D (High risk signals)
- **Outside Security Advisories on File:** 0
- **Public Adoption:** 13 GitHub stars

#### Permission & Blast-Radius Signals
- **Local files:** No local folder access noted
- **Command execution:** Runs shell or system commands
- **Network reach:** Connects to outside service API
- **Credentials:** No API token required
- **Package source:** PyPI (mathlas-mcp)

#### Recommended Hardened Setup
- **Command:** `uvx mathlas-mcp`
- **Controls:** Pin an exact version in `.mcp.json`, scope access to a single workspace folder, and use a least-privilege read-only token where supported.

_Based on public adoption and transparency signals as of Oct 23, 2026. Our opinion, not a code audit or security guarantee._

Key facts

Type: App connector
Publisher: Archerkattri
Source code: github.com/Archerkattri/mathlas
Install command: pip install mathlas-mcp
Est. context load: ~700 tokens / turn (~4 tool schemas, 0.35% of 200k context)
Popularity: 13 GitHub stars, 64 PyPI downloads
Last updated: 2026-10-28
Last graded: 2026-10-23

Community

Discussions for Mathlas

Ask questions or share configuration tips. Governed by our Community Rules & Terms.

No posts match this filter yet.

Be the first to ask a question or share a working tip.

Was this listing for Mathlas helpful?

Check before you install, in Claude

Your assistant answers Block, Review or No known issues for any package before it installs it.

Get this check inside Claude