[可用性问题] MCP tools/list 返回重复游标时会导致同步无限循环

[ShawnSiao]

证据：

• MCP 同步无条件追踪 nextCursor：mcp-client/tools.ts (line 137)
• 没有 seen-cursor、页数、工具数量或 schema 总量限制。

假 MCP：
let calls = 0 const client = { request: async () => { calls++ return { tools: [], nextCursor: 'same' } }, }

syncTools() 会持续请求同一个 cursor，既不返回也不报错。持续活动还可能绕过单次空闲超时。

设计建议：

• 增加 seenCursors。
• 增加 maxToolListPages、maxTools、maxDescriptionBytes、maxSingleSchemaBytes、maxTotalSchemaBytes。
• 超限时原子失败，并保留旧 generation；当前两阶段交换结构已经适合这一行为。

验收标准：

• 重复 cursor 第二次出现时立即拒绝。
• 异常同步不得清除旧工具 generation。

[ShawnSiao]

可选修复方案
方案 A：重复 Cursor 检测，必要但不充分
const seenCursors = new Set()
每次请求前或收到 nextCursor 后检查。如果 Cursor 已出现，抛出带服务器名和 Cursor 摘要的结构化错误。
只处理 Cursor 循环，不能防止唯一 Cursor 和工具洪泛。

方案 B：重复检测加完整资源预算，推荐
增加可配置限制，例如：
maxToolListPages
maxTools
maxSingleDescriptionBytes
maxSingleSchemaBytes
maxTotalCatalogBytes
建议保守默认值可从以下范围开始讨论：
maxToolListPages: 100
maxTools: 1024
maxSingleSchemaBytes: 256 KiB
maxTotalCatalogBytes: 4 MiB
同时支持 AbortSignal 或总同步超时。

推荐方案
推荐方案 B。Cursor 检测负责协议进度，资源预算负责内存、模型上下文和启动可用性。
超限应发生在 Fetch 阶段，保证旧 Generation 继续工作。

验收标准

• 相同 Cursor 重复一次即失败。
• A → B → A 循环能够检测。
• 页数、工具数、单 Schema 和总 Catalog 超限均有测试。
• 失败时旧工具 Generation 保持注册。
• 新 Generation 不得部分注册。
• 错误日志包含 MCP Server 名和超限类型，但不打印完整巨大 Schema。

如果维护者认可，我愿意按方案 B 提交 PR，包括 Cursor 环检测、可配置资源预算、旧 Generation 保留和完整边界测试。