TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

MCP server · Archerkattri/mathlas

mathlas

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

Open source WebsiteAI & agents PythonApache-2.0

Stars

13

of the repo behind it

Today

+0

last 24 hours

This week

+0

Forks

1

Add to Claude Code

claude mcp add mathlas -- uvx mathlas-mcp

Package: mathlas-mcp (pypi)

Star growth

2026-10-26: +0 (today so far)2026-10-26todaymax +1/day
Stars gained per day since 2026-10-26; the lighter bar is today so far.
#ai-tools#claude#formal-verification#lean4#math#mcp-server#retrieval#theorem-search
Created
2026-06-05
Last commit
2026-10-13
First seen
2026-07-02
Gained since tracking
+0

Similar in AI & agents

Updated Mon, 26 Oct 2026 15:14:07 GMT · description from the project itself