{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.1105216375-alt/resimind","description":"Exact polynomial checks, sparse expansion and verified rule memory. Local MCP tools, no model key.","title":"ResiMind","repository":{"url":"https://github.com/1105216375-alt/resimind","source":"github"},"version":"0.15.0","packages":[{"registryType":"mcpb","identifier":"https://github.com/1105216375-alt/resimind/releases/download/v0.15.0/resimind-0.15.0.mcpb","fileSha256":"8dec8a870497c12916f83c399ac003bb9859e004317db53ef84f961ede23e493","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-14T03:48:21.752708Z","publishedAt":"2026-10-14T03:48:21.752708Z","updatedAt":"2026-10-14T03:48:21.752708Z","isLatest":true}}}