Describes a server tool a provider offers (e.g. Anthropic web_search, Gemini url_context).
Server tools are executed by the provider's own infrastructure, not by Theia. Each provider
package declares the descriptors it supports and attaches them to its models so that the chat
UI can offer them for selection. The id is the stable identifier used in
LanguageModelRequest.serverTools.
Describes a server tool a provider offers (e.g. Anthropic
web_search, Geminiurl_context). Server tools are executed by the provider's own infrastructure, not by Theia. Each provider package declares the descriptors it supports and attaches them to its models so that the chat UI can offer them for selection. Theidis the stable identifier used in LanguageModelRequest.serverTools.