io.github.Archerkattri/mathlas

io.github.Archerkattri/mathlas · v1.5.0 · ai-and-media

io.github.Archerkattri/mathlas is a local (stdio) package with no hosted endpoint. It scores 18/100.

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

Repository · JSON · Add to my inventory

Score 18/100

health	0 / 25
authEase	9 / 15
toolQuality	0 / 15
maintenance	3 / 15
adoption	0 / 10
usage	0 / 10
security	6 / 10

Scoring v0.3, computed 2026-10-14T20:36:08.040Z.

Local (stdio) package only: no hosted endpoint to check
GitHub signals are off for everyone: maintenance uses registry dates (half credit)

Health history

No checks yet.

Tools (0)

Tools are listed after a successful handshake.