WebMCPToolsRemovedEvent 接口 签名 export interface WebMCPToolsRemovedEvent 属性 属性 修饰符 类型 说明 默认值 tools WebMCPTool[] 已移除的工具数组。