Server record / io.github.Archerkattri/mathlas
mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Runnable packages
pypimathlas-mcp
1.5.0stdioTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.