{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","name":"io.github.Archerkattri/mathlas","description":"Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.","repository":{"url":"https://github.com/Archerkattri/mathlas","source":"github"},"version":"1.5.0","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"mathlas-mcp","version":"1.5.0","runtimeHint":"uvx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).","name":"MATHLAS_SEED"},{"description":"Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).","name":"MATHLAS_INDEX"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-07-02T02:49:38.314229Z","publishedAt":"2026-07-02T02:49:38.314229Z","updatedAt":"2026-07-02T02:49:38.314229Z","isLatest":true}}}