feat: Add remote plugin catalog fields to plugin API

2026-04-26 23:55:25 +00:00 · 2026-04-09 17:19:53 -07:00
parent ef330eff6d
commit af8b2b513d
30 changed files with 887 additions and 652 deletions
--- a/codex-rs/app-server-protocol/schema/json/v2/PluginReadParams.json
+++ b/codex-rs/app-server-protocol/schema/json/v2/PluginReadParams.json
@@ -8,14 +8,26 @@
  },
  "properties": {
    "marketplacePath": {
-      "$ref": "#/definitions/AbsolutePathBuf"
+      "anyOf": [
+        {
+          "$ref": "#/definitions/AbsolutePathBuf"
+        },
+        {
+          "type": "null"
+        }
+      ]
    },
    "pluginName": {
      "type": "string"
+    },
+    "remoteMarketplaceName": {
+      "type": [
+        "string",
+        "null"
+      ]
    }
  },
  "required": [
-    "marketplacePath",
    "pluginName"
  ],
  "title": "PluginReadParams",