MCP

Mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Diesen Eintrag beanspruchen

Verbinde dein GitHub-Konto, um zu belegen, dass du diesen Eintrag besitzt oder betreust. Wir prüfen den Repo-Zugriff automatisch — die meisten Publisher sind in Sekunden bestätigt.

1GitHub verbinden

2Anspruch einreichen

3Automatisch verifiziert oder innerhalb von 48 Std. geprüft