Skip to main content
Glama
85,138 servers. Updated

"author:Archerkattri" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • mathlas

    Archerkattri
    A
    license
    A
    quality
    A
    maintenance
    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.
    12
    12
    Apache 2.0