move plugin info to ToolInfo and AppInfo

2026-04-30 09:26:44 +00:00 · 2026-03-05 13:15:10 -08:00
parent 695cb34bfb
commit 34f605c6cb
17 changed files with 323 additions and 52 deletions
--- a/codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json
+++ b/codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json
@@ -7820,6 +7820,13 @@
          },
          "name": {
            "type": "string"
+          },
+          "pluginDisplayNames": {
+            "default": [],
+            "items": {
+              "type": "string"
+            },
+            "type": "array"
          }
        },
        "required": [