nfragile

Verified record · from the answer index

io.github.Archerkattri/mathlas

mcptested · static-verifiedscore 41/100signed passport ✓published 106d ago · verified 2026-08-085 GitHub stars

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

registry:io.github.Archerkattri/mathlas · published by archerkattri · source repository