File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -592,6 +592,13 @@ export type EventTuiToastShow = {
592592 }
593593}
594594
595+ export type EventMcpToolsChanged = {
596+ type : "mcp.tools.changed"
597+ properties : {
598+ server : string
599+ }
600+ }
601+
595602export type EventCommandExecuted = {
596603 type : "command.executed"
597604 properties : {
@@ -758,6 +765,7 @@ export type Event =
758765 | EventTuiPromptAppend
759766 | EventTuiCommandExecute
760767 | EventTuiToastShow
768+ | EventMcpToolsChanged
761769 | EventCommandExecuted
762770 | EventSessionCreated
763771 | EventSessionUpdated
Original file line number Diff line number Diff line change 66356635 },
66366636 "required" : [" type" , " properties" ]
66376637 },
6638+ "Event.mcp.tools.changed" : {
6639+ "type" : " object" ,
6640+ "properties" : {
6641+ "type" : {
6642+ "type" : " string" ,
6643+ "const" : " mcp.tools.changed"
6644+ },
6645+ "properties" : {
6646+ "type" : " object" ,
6647+ "properties" : {
6648+ "server" : {
6649+ "type" : " string"
6650+ }
6651+ },
6652+ "required" : [" server" ]
6653+ }
6654+ },
6655+ "required" : [" type" , " properties" ]
6656+ },
66386657 "Event.command.executed" : {
66396658 "type" : " object" ,
66406659 "properties" : {
71327151 {
71337152 "$ref" : " #/components/schemas/Event.tui.toast.show"
71347153 },
7154+ {
7155+ "$ref" : " #/components/schemas/Event.mcp.tools.changed"
7156+ },
71357157 {
71367158 "$ref" : " #/components/schemas/Event.command.executed"
71377159 },
You can’t perform that action at this time.
0 commit comments