Add live skill refresh notifications

2026-04-25 07:05:38 +00:00 · 2026-02-25 18:58:17 +00:00
parent 28bfbb8f2b
commit 1eac244927
14 changed files with 274 additions and 39 deletions
--- a/codex-rs/app-server-protocol/schema/json/ServerNotification.json
+++ b/codex-rs/app-server-protocol/schema/json/ServerNotification.json
@@ -1449,6 +1449,10 @@
        }
      ]
    },
+    "SkillsUpdatedNotification": {
+      "description": "Notification emitted when local skill files or skill configuration changes.",
+      "type": "object"
+    },
    "SubAgentSource": {
      "oneOf": [
        {
@@ -3522,6 +3526,26 @@
      "title": "App/list/updatedNotification",
      "type": "object"
    },
+    {
+      "properties": {
+        "method": {
+          "enum": [
+            "skills/updated"
+          ],
+          "title": "Skills/updatedNotificationMethod",
+          "type": "string"
+        },
+        "params": {
+          "$ref": "#/definitions/SkillsUpdatedNotification"
+        }
+      },
+      "required": [
+        "method",
+        "params"
+      ],
+      "title": "Skills/updatedNotification",
+      "type": "object"
+    },
    {
      "properties": {
        "method": {