mathlas
io.github.Archerkattri/mathlas
95
security score
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Security scan
Last scanned 35 minutes ago — static analysis of the published manifest.
- lowManifest makes network requests.