public evidence dossier
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Latest visible observation: 2026-08-30T22:30:41.080Z
Identity
namespacegithub · observed 2026-07-02T02:49:38.314229Z
registry statusactive · observed 2026-07-02T02:49:38.314229Z
origin systemsadoption, github, osv, pypi, registry · observed 2026-08-30T22:30:41.080Z
Distribution
repositoryhttps://github.com/Archerkattri/mathlas · observed 2026-07-07T15:08:43.719250+00:00
npm packageUnknown · observed 2026-07-07T15:08:43.719250+00:00
PyPI packagemathlas-mcp · observed 2026-07-02T01:51:21.782506Z
hosted endpointUnknown
Maintenance and public findings
repository pushed2026-07-25T01:10:07Z · observed 2026-07-25T01:10:07Z
repository archivedNo · observed 2026-07-07T15:08:43.719250+00:00
npm deprecatedUnknown · observed 2026-07-07T15:08:43.719250+00:00
OSV package advisoryNone on record · observed 2026-07-07T15:08:43.719250+00:00
Hosted liveness
last endpoint observationUnknown
reported MCP revisionUnknown
Limits
This dossier reports public evidence. It is not a safety, code, permission, scope, runtime, or penetration-test verdict. Missing evidence remains unknown.