Mathlas
Alimenter votre agent
Ajouter ce serveur
The publisher's own command. Not a PlugMCP endpoint.
Host a copy with our keys and logs.
Local command
uvx mathlas-mcp==1.5.0Credentials from the publisher
- MATHLAS_SEED — Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).
- MATHLAS_INDEX — Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).
Claude Code has no install link for a local command. Copy the command below and run it in a terminal.
shClaude Code
MATHLAS_SEED=<value> MATHLAS_INDEX=<value> claude mcp add archerkattri-mathlas -- uvx mathlas-mcp==1.5.0Run in a terminal.
jsonClaude Desktop
{ "mcpServers": { "archerkattri-mathlas": { "command": "uvx", "args": [ "mathlas-mcp==1.5.0" ], "env": { "MATHLAS_SEED": "<value>", "MATHLAS_INDEX": "<value>" } } }}claude_desktop_config.json
Local · pypiPublisher installStep-by-step: add this in Claude
Remote URL or a command on your machine? How the two installs differ
Exécuter sur PlugMCP
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
LancerServer facts
Local- Transport
- stdio
- License
- Apache-2.0
- API key
Tools
Tools
No tool list yet. Remote servers get one after the first health check.
FAQ
