WebMCPToolsRemovedEvent 接口

🌐 WebMCPToolsRemovedEvent interface

语法

🌐 Signature

export interface WebMCPToolsRemovedEvent

属性

🌐 Properties

属性 🌐 Property	修饰符 🌐 Modifiers	类型 🌐 Type	描述 🌐 Description	默认 🌐 Default
tools		WebMCPTool[]	已删除的工具数组。 🌐 Array of tools that were removed.