🔍

io.github.Archerkattri/mathlas

Name: io.github.Archerkattri/mathlas
Rating: 1.9 (1 reviews)

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

0 installs

Trust: 37 — Low

Search

Ask AI about io.github.Archerkattri/mathlas

Powered by Claude · Grounded in docs

I know everything about io.github.Archerkattri/mathlas. Ask me about installation, configuration, usage, or troubleshooting.

0/500

Documentation

No README available