{"servers":[{"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.1.1","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"mathlas-mcp","version":"1.1.1","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-06-09T23:52:37.619702Z","publishedAt":"2026-06-09T23:52:37.619702Z","updatedAt":"2026-06-09T23:52:37.619702Z","isLatest":false}}},{"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.1.2","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"mathlas-mcp","version":"1.1.2","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-06-10T00:35:00.169525Z","publishedAt":"2026-06-10T00:35:00.169525Z","updatedAt":"2026-06-10T00:35:00.169525Z","isLatest":false}}},{"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.2.0","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"mathlas-mcp","version":"1.2.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-06-10T21:44:14.823562Z","publishedAt":"2026-06-10T21:44:14.823562Z","updatedAt":"2026-06-10T21:44:14.823562Z","isLatest":false}}},{"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.3.0","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"mathlas-mcp","version":"1.3.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-06-11T00:12:08.242584Z","publishedAt":"2026-06-11T00:12:08.242584Z","updatedAt":"2026-06-11T00:12:08.242584Z","isLatest":false}}},{"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.4.0","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"mathlas-mcp","version":"1.4.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-06-11T15:16:54.716753Z","publishedAt":"2026-06-11T15:16:54.716753Z","updatedAt":"2026-06-11T15:16:54.716753Z","isLatest":false}}},{"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}}}],"metadata":{"count":6}}