Back to MCP Servers
Mathlas
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
data-science-toolsapiaillmagent
By Archerkattri
Installation
npx -y mathlasConfiguration
{
"mcpServers": {
"mathlas": {
"command": "npx",
"args": ["-y", "mathlas"]
}
}
}How to use
- Run the installation command above (if needed)
- Open your Claude Code settings file (~/.claude/settings.json)
- Add the configuration to the mcpServers section
- Restart Claude Code to apply changes