io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
1.5.0version the registry lists (6 published)
0reported issues
Nolisted version affected
Nothing reported yet. That is a good sign, but not proof it is safe. Check who maintains it and what it can access.
Registry name io.github.Archerkattri/mathlas
· Source code
Reported issues
None found in OSV or the NVD CVE list. Checked 19 hours ago.
Versions in the registry
1.5.0 (listed), 1.4.0, 1.3.0, 1.2.0, 1.1.2, 1.1.1