mathlas
MCP server by github.com/archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
About mathlas
mathlas is an MCP (Model Context Protocol) server published by archerkattri in the official MCP registry, listed under Search on Loomal. Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
It ships as a Python package on PyPI (mathlas-mcp), so any MCP client that can launch a local process can run it.
Development happens in the open at github.com/archerkattri/mathlas, where the project has earned 2 GitHub stars.
Use mathlas with your agent
claude mcp add mathlas -- uvx mathlas-mcp{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
]
}
}
}mathlas-mcpFrequently asked questions
- What is mathlas?
- mathlas is an MCP (Model Context Protocol) server by archerkattri in the Search category. Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
- How do I connect mathlas to Claude, Cursor, or another MCP client?
- Install mathlas from its pypi package (mathlas-mcp) and register it under "mcpServers" in your client's MCP configuration — for example claude_desktop_config.json or Cursor's mcp.json — then restart the client.
- Is mathlas open source?
- Yes — the source code is public at github.com/archerkattri/mathlas, with 2 GitHub stars.
- Can AI agents pay to use mathlas?
- Not yet through Loomal — mathlas is listed as a free directory entry. If its maintainer verifies ownership, they can set per-call USDC pricing that agents pay over x402, with settlement on Base.
More Search MCP servers
Metabase
47.7k
Lets AI clients search, explore, query, and visualize data in a Metabase instance.
mcp-server-search
36.3k
MCP server for web search operations
Serena MCP: the IDE for your agent
25.3k
A powerful toolkit for coding, providing semantic retrieval and editing capabilities.
Airweave Search
6.4k
MCP server for searching Airweave collections with natural language queries.
Claude Code Explorer MCP
6.3k
Explore the Claude Code CLI source — browse tools, commands, search code, and more.
exa
4.6k
Fast, intelligent web search and web crawling. New mcp tool: Exa-code is a context tool for coding
Listing data from the official MCP registry and GitHub, refreshed periodically. Not affiliated with the maintainer unless claimed. Maintain mathlas? Claim this listing free by verifying GitHub ownership, or contact us.