← MCPLookup
Packageactivev1.5.0

io.github.Archerkattri/mathlas

io.github.Archerkattri/mathlas

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

No blockers found

assessed on 1 of 4 dimensions

  • ProvenanceOrigin linked to a public source repository.Official MCP Registry · as of Jul 2, 2026
    Pass
  • MaintenanceRepository maintenance signals not yet ingested.
    Pending
  • Manifest integrityLive manifest not yet captured — the rug-pull baseline begins at first probe.
    Pending
  • Supply chainPackage vulnerability scan not yet run.
    Pending
  • Behavioral trustNo live endpoint to observe.
    Not applicable

Connect

pypi package
uvx mathlas-mcp

Requires MATHLAS_SEED, MATHLAS_INDEX.

Provenance

  • Official MCP Registry · as of Jul 2, 2026 · registry-tos

Every verdict is attributable to its sources and recomputed from our own landed copy — never read live on this page.