{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"stdio"},"description":"Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.","name":"io.github.archerkattri/mathlas","packages":[{"environmentVariables":[{"isRequired":true,"isSecret":false,"name":"MATHLAS_SEED"},{"isRequired":true,"isSecret":false,"name":"MATHLAS_INDEX"}],"identifier":"mathlas-mcp","registryType":"pypi","transport":{"type":"stdio"},"version":"1.5.0"}],"repository":{"source":"github","url":"https://github.com/Archerkattri/mathlas"},"title":"mathlas","version":"1.5.0"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-15T03:58:03Z","synced_at":"2026-09-22T03:57:44.503431Z","is_latest":true,"published_at":"2026-09-15T03:58:03Z"}}}