1 listing · 0 installs
Open-source publisher. Listings imported from github.com/Archerkattri — credited to the original author with their license.
mcp-archerkattri-mathlas · by 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.
