mathlas
Rank #6,274io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
mathlas is a Model Context Protocol (MCP) server published by archerkattri. It ranks #6,274 of 132,046 servers tracked on MCP Toplist, and its repository has 12 GitHub stars. mathlas is listed across 4 registries — Official MCP, PulseMCP, Glama and mcp.so, with 6 tracked versions. It was first listed on Jun 7, 2026 and most recently updated on Jul 2, 2026.
Ranks ahead of 125,772 of 132,046 servers on MCP Toplist.
Use mathlas
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add mathlas -e "MATHLAS_SEED=<your MATHLAS_SEED>" -e "MATHLAS_INDEX=<your MATHLAS_INDEX>" -- uvx mathlas-mcpReplace each placeholder with your own value before saving.
[mcp_servers.mathlas]
command = "uvx"
args = ["mathlas-mcp"]
[mcp_servers.mathlas.env]
MATHLAS_SEED = "<your MATHLAS_SEED>"
MATHLAS_INDEX = "<your MATHLAS_INDEX>"Add to ~/.codex/config.toml. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<your MATHLAS_SEED>",
"MATHLAS_INDEX": "<your MATHLAS_INDEX>"
}
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config). Replace each placeholder with your own value before saving.
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<your MATHLAS_SEED>",
"MATHLAS_INDEX": "<your MATHLAS_INDEX>"
}
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project). Replace each placeholder with your own value before saving.
{
"servers": {
"mathlas": {
"type": "stdio",
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<your MATHLAS_SEED>",
"MATHLAS_INDEX": "<your MATHLAS_INDEX>"
}
}
}
}Save as .vscode/mcp.json in your workspace. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<your MATHLAS_SEED>",
"MATHLAS_INDEX": "<your MATHLAS_INDEX>"
}
}
}
}Add to ~/.codeium/windsurf/mcp_config.json. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<your MATHLAS_SEED>",
"MATHLAS_INDEX": "<your MATHLAS_INDEX>"
}
}
}
}Replace each placeholder with your own value before saving.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.Archerkattri%2Fmathlas)<a href="https://mcptoplist.com/server/io.github.Archerkattri%2Fmathlas"><img src="https://mcptoplist.com/badge/io.github.Archerkattri%2Fmathlas.svg" alt="MCP Toplist: Top 5% of 132,046" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 4 registries
archerkattri
Available versions (6)
| Version | Published |
|---|---|
| 1.5.0 | Jul 2, 2026 |
| 1.4.0 | Jun 11, 2026 |
| 1.3.0 | Jun 11, 2026 |
| 1.2.0 | Jun 10, 2026 |
| 1.1.2 | Jun 10, 2026 |
| 1.1.1 | Jun 9, 2026 |
Frequently asked questions
- Who maintains mathlas?
- mathlas is maintained by archerkattri, which publishes 1 MCP server (6 total versions) tracked on MCP Toplist.
- Is mathlas listed on the Official MCP Registry?
- Yes — mathlas is listed on the Official MCP Registry, alongside PulseMCP, Glama and mcp.so.
- How many versions does mathlas have?
- MCP Toplist tracks 6 versions of mathlas, most recently published on Jul 2, 2026.
- Where can I find the source code for mathlas?
- The source code for mathlas is hosted at github.com/archerkattri/mathlas.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.