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