N/A

io.github.Archerkattri/mathlas

mcp agent Offline

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.

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know