Developer · Local MCP server
Mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.Archerkattri/mathlas- Version
- 1.5.0
- Status
- Active
- Category
- developer
- Transport
- stdio (local process)
- Package
- PyPI
- Published
- 2026-07-02
- Updated
- 2026-07-02
- Publisher
- Archerkattri (GitHub)
- Repository
- github.com/Archerkattri/mathlas
- Source
- Registry API entry
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPIruntime: uvx | mathlas-mcp | 1.5.0 | stdio |
How to connect Mathlas
Mathlas runs locally from a Python package published to PyPI: mathlas-mcp version 1.5.0. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx mathlas-mcp. It reads these environment variables: MATHLAS_SEED and MATHLAS_INDEX; set them in the client's configuration for this server.
In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<value>",
"MATHLAS_INDEX": "<value>"
}
}
}
}Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More developer servers
| Server | Runs |
|---|---|
| Mastyf.AiRuntime proxy for MCP security, cost governance & audit. | Local · stdio |
| matetools MCP-SERVER35 utility tools for AI agents — mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT. | Local · stdio |
| Math MCPGPU-accelerated MCP server: symbolic algebra, numerical computing, FFT, optimization, linear algebra. | Local · stdio |
| Math MCP LearningEducational MCP server with 17 math/stats tools, visualizations, and persistent workspace. | Remote & Local · HTTP, stdio |
| matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data. | Remote & Local · HTTP, stdio |
| MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP. | Local · stdio |
| MatraThe Matra rich text editor's documentation as an MCP server: every extension, command and API. | Local · stdio |
| MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits. | Local · stdio |