MA

mathlas

Published by Archerkattri

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

CATEGORY: Search & research
DEPLOYMENT: Local package
LATEST SOURCE VERSION: 1.5.0
SOURCE CHECKED: Sep 26, 2026

Published packages

pypi · mathlas-mcp@1.5.0

View source repository