"author:Archerkattri" matching MCP servers:

• 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.

  Last updated 2026-06-10

  12

  1

  Apache 2.0