published by archerkattri

1 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

1. io.github.Archerkattri/mathlas ★ 12
   Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.