Track plugin ids for skill invocations

2026-04-25 15:15:15 +00:00 · 2026-04-06 15:59:53 -07:00
parent 36cd163504
commit c9d127cf06
33 changed files with 183 additions and 23 deletions
--- a/codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.v2.schemas.json
+++ b/codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.v2.schemas.json
@@ -9599,6 +9599,12 @@
        "path": {
          "type": "string"
        },
+        "pluginId": {
+          "type": [
+            "string",
+            "null"
+          ]
+        },
        "scope": {
          "$ref": "#/definitions/SkillScope"
        },