MCP

Mathlas

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

Revendiquer cette annonce

Connectez votre compte GitHub pour prouver que vous possédez ou maintenez cette annonce. Nous vérifions l’accès au dépôt automatiquement — la plupart des éditeurs sont confirmés en quelques secondes.

1Connecter GitHub

2Envoyer votre revendication

3Vérification automatique, ou examen sous 48 h