io.github.Archerkattri/mathlas

mathlas

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

1.5.0
Version
pypi
Transport
—
Tools

Security review

Review passed

Reviewed 22h ago.

  • metadata: scanned
  • packages: 1 checked

No findings.