Interface ToolListChangedNotification

An optional notification from the server to the client, informing it that the list of tools it offers has changed. This may be issued by servers without any previous subscription from the client.

interface ToolListChangedNotification {
    jsonrpc: "2.0";
    method: "notifications/tools/list_changed";
    params?: { _meta?: { [key: string]: unknown }; [key: string]: unknown };
}