fix(ci): support .codex-plugin manifests in version check, add Codex install/migrate prompts

Author: tzachbon

.github/workflows/plugin-version-check.yml

@@ -95,11 +95,15 @@ jobs:
             echo ""
             echo "=== Checking $plugin_name ==="
 
+            # Check both Claude (.claude-plugin) and Codex (.codex-plugin) manifest paths
             PLUGIN_JSON="plugins/${plugin_name}/.claude-plugin/plugin.json"
+            if [ ! -f "$PLUGIN_JSON" ]; then
+              PLUGIN_JSON="plugins/${plugin_name}/.codex-plugin/plugin.json"
+            fi
 
             if [ ! -f "$PLUGIN_JSON" ]; then
               echo "❌ ERROR: No plugin.json found for $plugin_name!"
-              echo "Plugin changes detected but plugin.json is missing at: $PLUGIN_JSON"
+              echo "Checked: plugins/${plugin_name}/.claude-plugin/plugin.json and plugins/${plugin_name}/.codex-plugin/plugin.json"
               ALL_PASSED=false
               continue
             fi
@@ -115,10 +119,16 @@ jobs:
             echo "plugin.json:      ${BASE_PLUGIN_VERSION:-new} → $PR_PLUGIN_VERSION"
             echo "marketplace.json: ${BASE_MARKETPLACE_VERSION:-new} → $PR_MARKETPLACE_VERSION"
 
-            # Check if plugin exists in marketplace
+            # Check if plugin exists in Claude marketplace
+            # Codex plugins use .agents/plugins/marketplace.json (no version field) and are exempt
             if [ "$PR_MARKETPLACE_VERSION" == "null" ] || [ -z "$PR_MARKETPLACE_VERSION" ]; then
-              echo "❌ ERROR: Plugin $plugin_name not found in marketplace.json!"
-              echo "Please add an entry for $plugin_name in $MARKETPLACE_JSON"
+              echo "ℹ️  Plugin $plugin_name not in Claude marketplace ($MARKETPLACE_JSON)"
+              echo "   Checking if it has its own manifest..."
+              if [ -f "$PLUGIN_JSON" ]; then
+                echo "✅ $plugin_name has manifest at $PLUGIN_JSON (version: $PR_PLUGIN_VERSION)"
+                continue
+              fi
+              echo "❌ ERROR: Plugin $plugin_name not found in any marketplace!"
               ALL_PASSED=false
               continue
             fi

README.md

@@ -98,7 +98,28 @@ rm -rf /tmp/smart-ralph
 codex_hooks = true
 ```
 
-See [`plugins/ralph-specum-codex/README.md`](plugins/ralph-specum-codex/README.md) for agent configs and migration from older installs.
+**Or just ask Codex to do it for you:**
+
+Install prompt:
+```text
+Install the Smart Ralph Codex plugin from repo tzachbon/smart-ralph.
+The plugin is at plugins/ralph-specum-codex. Copy it to my personal
+plugins directory at ~/.codex/plugins/ralph-specum-codex, create a
+personal marketplace entry at ~/.agents/plugins/marketplace.json,
+and restart Codex.
+```
+
+Migrate prompt (if upgrading from the old `platforms/codex/` skills):
+```text
+Migrate from the old Smart Ralph Codex skills to the new plugin.
+Remove all ralph-specum* skills from ~/.codex/skills/ and
+$CODEX_HOME/skills/. Then install the Smart Ralph plugin from
+repo tzachbon/smart-ralph at plugins/ralph-specum-codex into
+my personal plugins directory. Create the marketplace entry
+and restart Codex.
+```
+
+See [`plugins/ralph-specum-codex/README.md`](plugins/ralph-specum-codex/README.md) for agent configs and full details.
 
 <details>
 <summary>Migrating from old skills (platforms/codex/)?</summary>