Archerkattri/mathlas

Airtight math tools for agents with no LLM inside and no API key: theorem search over a 3.68M-document index, PSLQ closed-form constant identification, exact OEIS sequence matching, and real Lean 4 kernel proof checking that returns the kernel's exact error for repair loops. stdio transport, no auth, works with Claude Code, Cursor, and any MCP client. Install: `uvx mathlas-mcp`.

Browse this MCP server in the TensorBlock MCP Index.