io.github.Archerkattri/mathlas MCP Server
io.github.Archerkattri/mathlas
What is the io.github.Archerkattri/mathlas MCP server?
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
How to install io.github.Archerkattri/mathlas
Copy-paste configuration for popular MCP clients.
MATHLAS_SEEDSet to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).
MATHLAS_INDEXPath to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
"MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
}
}
}
}{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
"MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
}
}
}
}{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
"MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
}
}
}
}{
"servers": {
"mathlas": {
"type": "stdio",
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
"MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
}
}
}
}claude mcp add mathlas --env MATHLAS_SEED=<YOUR_MATHLAS_SEED> --env MATHLAS_INDEX=<YOUR_MATHLAS_INDEX> -- uvx mathlas-mcpRelated MCP servers
Scrapling MCP Server
Give your AI agent stealth web scraping with Cloudflare bypass and CSS selection, powered by Scrapling.
Chrome DevTools MCP
Give your AI coding agent full control of a live Chrome browser for automation, debugging, and performance analysis.
com.puter/mcp-server
Let AI agents manage your Puter files, websites, and serverless workers over MCP.
Browser automation for AI agents via MCP, powering ByteDance's Agent TARS hybrid GUI/DOM browser control.
Run arbitrary shell commands from an MCP-connected AI agent.
Filesystem access MCP server from ByteDance's UI-TARS/Agent TARS ecosystem.