{"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":true}}}],"metadata":{"count":1}}