Back to search
30
MCP

io.github.archerkattri/mathlas

io.github.archerkattri/mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Uptime
0.0%
26 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

io.github.rog0x/math
Calculator, units, statistics for AI agents
0 tools
xyz.arithym/arithym
Precision math engine for AI agents. 203 exact methods. Zero hallucination.
0 tools · streamable-http
io.github.ilo415/research
AI research for agents. Company intel, competitor analysis, web scraping, topic dives. Pay via MPP.
0 tools
TradingCalc MCP — Crypto Futures Math
Crypto futures math: PnL, liquidation, position sizing, carry trade. 19 tools. Not AI estimates.
0 tools · streamable-http
io.github.hmakt99/akf
Trust metadata for AI agents — check files before building on them, stamp verified work.
0 tools
io.github.learningloons-hash/lithtrix
Memory Consolidation for AI agents — search, memory, browser, commons. Free trial at lithtrix.ai.
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "io.github.archerkattri/mathlas": {
      "url": "None",
      "transport": "http"
    }
  }
}