io.github.Archerkattri/mathlas
io.github.Archerkattri/mathlas
Alive
updated 1 month ago
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Status
Alive
Heuristic on registry updatedAt: alive ≤ 90 days, stale ≤ 365, dead older. Not a security judgment.
Last verified
2026-07-02 (1 month ago)
From registry metadata (updatedAt / publishedAt).
Project activity
github.com/Archerkattri/mathlas
GitHub vitals (stars, last push, releases) are the next enrichment pass.
Project context
Official / community classification is not automated yet.
Registry details
| Registry name | io.github.Archerkattri/mathlas |
|---|---|
| Version | 1.5.0 |
| Published | 2026-07-02 |
| Updated | 2026-07-02 |
| Registry status | active |
| Repository | https://github.com/Archerkattri/mathlas |
| Packages | pypi:mathlas-mcp @ 1.5.0 |
| Last checked | 2026-08-24 — from the registry snapshot this page was generated from |
Source: official MCP registry. Status labels are freshness heuristics, not security judgments.