{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.morluto/leantoken","description":"Token-bounded repository context for coding agents over MCP.","title":"LeanToken","repository":{"url":"https://github.com/morluto/leantoken","source":"github"},"version":"0.1.20","packages":[{"registryType":"cargo","registryBaseUrl":"https://crates.io","identifier":"leantoken","version":"0.1.20","transport":{"type":"stdio"},"packageArguments":[{"value":"mcp","type":"positional"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-01T22:02:59.158312Z","publishedAt":"2026-08-01T22:02:59.158312Z","updatedAt":"2026-08-01T22:02:59.158312Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.morluto/leantoken","description":"Token-bounded repository context for coding agents over MCP.","title":"LeanToken","repository":{"url":"https://github.com/morluto/leantoken","source":"github"},"version":"0.1.24","packages":[{"registryType":"cargo","registryBaseUrl":"https://crates.io","identifier":"leantoken","version":"0.1.24","transport":{"type":"stdio"},"packageArguments":[{"value":"mcp","type":"positional"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-07T10:08:05.461701Z","publishedAt":"2026-08-07T10:08:05.461701Z","updatedAt":"2026-08-07T10:08:05.461701Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.morluto/leantoken","description":"Token-bounded repository context for coding agents over MCP.","title":"LeanToken","repository":{"url":"https://github.com/morluto/leantoken","source":"github"},"version":"0.1.25","packages":[{"registryType":"cargo","registryBaseUrl":"https://crates.io","identifier":"leantoken","version":"0.1.25","transport":{"type":"stdio"},"packageArguments":[{"value":"mcp","type":"positional"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-09T16:34:29.443719Z","publishedAt":"2026-08-09T16:34:29.443719Z","updatedAt":"2026-08-09T16:34:29.443719Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.morluto/leantoken","description":"Token-bounded repository context for coding agents over MCP.","title":"LeanToken","repository":{"url":"https://github.com/morluto/leantoken","source":"github"},"version":"0.1.26","packages":[{"registryType":"cargo","registryBaseUrl":"https://crates.io","identifier":"leantoken","version":"0.1.26","transport":{"type":"stdio"},"packageArguments":[{"value":"mcp","type":"positional"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-13T18:08:25.393642Z","publishedAt":"2026-08-13T18:08:25.393642Z","updatedAt":"2026-08-13T18:08:25.393642Z","isLatest":true}}}],"metadata":{"count":4}}