MCPHUB LogoMCPHUB
Back to directory
archerkattri/mathlas

archerkattri/mathlas

@Archerkattri

Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

maththeorem-searchverificationOEISPSLQLeanformal-methodsAI-toolscontext

Installation & Configuration

{
  "mathlas": {
    "command": "uvx",
    "args": [
      "mathlas-mcp"
    ]
  }
}

Information

Transport
stdio
Language
Python
Created
2026/6/11
Updated
2026/6/12
Homepage
https://github.com/Archerkattri/mathlas