io.github.Archerkattri/mathlas

io.github.Archerkattri/mathlas · v1.5.0

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

Reachability not yet probed

Registry status active

Provenance

Registry namespace io.github.Archerkattri (GitHub-account verified by the official registry)

Repository github.com/archerkattri/mathlas

[![ToolPin](https://toolpin.dev/badge/io.github.Archerkattri/mathlas.svg)](https://toolpin.dev/servers/io.github.Archerkattri/mathlas)

Maintain this server? Add the badge to your README — it links your users to this live status page.