io.github.Archerkattri/mathlas

pkg:pypi:mathlas-mcp

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

transport:: stdio
credential class:: not-probed
repo:: https://github.com/Archerkattri/mathlas

Owner verification

Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.

Start verification →

Tools

Embed this server’s score

Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.

[![Vouch score](https://vouch.tools/api/servers/7f35bb23-80b8-47ed-9808-4f95875f99b8/badge.svg)](https://vouch.tools/servers/7f35bb23-80b8-47ed-9808-4f95875f99b8)