What is mathlas?
mathlas is a MCP server by Archerkattri that math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists. It is listed under Data & databases and has 13 GitHub stars.
| Type | Mcp server |
|---|---|
| Author | Archerkattri |
| Repository | Archerkattri/mathlas |
| Popularity | 13 GitHub stars |
| Category | Data & databases |
| Security | Low risk (96/100) |
| Rank | #1,558 of 4,418 MCP servers; #120 in Data & databases |
| License | Apache-2.0 |
| Last commit | 2026-10-13 |
| Runs | Locally |
| Language | Python |
Is mathlas safe to install?
mathlas scores 96/100 on the MCPMods security check: Low risk. No checks raised a concern. It passed 5 of 6 checks.
MCP server results come from listing signals: who publishes it, where your data goes and what it can do. The code itself is not scanned yet.
| Check | Result |
|---|---|
| Community-built server | Note |
| Runs on your machine only | Pass |
| No credentials mentioned | Pass |
| Read-only by description | Pass |
| No code execution | Pass |
| Source on GitHub | Pass |
How do I install mathlas?
- Find the launch command. The README says how the server starts (npx, uvx, docker or a remote URL) and which API keys it needs.
https://github.com/Archerkattri/mathlas
- Add it to Claude Code. Replace the part after -- with the command from the README. Remote servers use --transport http with a URL.
claude mcp add mathlas -- <command from README> claude mcp add --transport http mathlas <server-url>
- Check it connected. This lists your MCP servers and their status.
claude mcp list
Or ask Claude to set it up
Paste this into Claude Code and it installs mathlas for you:
Add the "mathlas" MCP server from https://github.com/Archerkattri/mathlas to Claude Code. Read its README for the launch command and any API keys I need, run claude mcp add, then check that it connects.