Fix Claude plugin skill loading (#14)

* register Claude plugin skills explicitly

* use Claude skills directory path and bump plugin version

Author: younes-io

.claude-plugin/marketplace.json

@@ -5,13 +5,13 @@
   },
   "metadata": {
     "description": "Portable TLA+ agent skills for Claude Code and other Agent Skills clients.",
-    "version": "0.1.0"
+    "version": "0.1.2"
   },
   "plugins": [
     {
       "name": "tla-workbenches",
-      "description": "TLA+ workbench skills for TLC model checking and TLAPS proofs.",
-      "version": "0.1.0",
+      "description": "TLA+ skills for checking specs and writing proofs.",
+      "version": "0.1.2",
       "author": {
         "name": "younes-io"
       },

plugins/tla-workbenches/.claude-plugin/plugin.json

@@ -1,8 +1,11 @@
 {
   "name": "tla-workbenches",
-  "version": "0.1.0",
-  "description": "TLA+ workbench skills for TLC model checking and TLAPS proofs.",
+  "version": "0.1.2",
+  "description": "TLA+ skills for checking specs and writing proofs.",
   "author": {
     "name": "younes-io"
-  }
+  },
+  "repository": "https://github.com/younes-io/agent-skills",
+  "homepage": "https://github.com/younes-io/agent-skills/tree/main/plugins/tla-workbenches",
+  "skills": "./skills/"
 }

scripts/validate_claude_plugin.sh

@@ -32,6 +32,8 @@ expected_marketplace = {
     "owner_name": "younes-io",
     "plugin_name": "tla-workbenches",
     "plugin_source": "./plugins/tla-workbenches",
+    "plugin_version": "0.1.2",
+    "skills": "./skills/",
 }
 
 if marketplace.get("name") != expected_marketplace["name"]:
@@ -51,11 +53,20 @@ if entry.get("name") != expected_marketplace["plugin_name"]:
 if entry.get("source") != expected_marketplace["plugin_source"]:
     raise SystemExit("Unexpected plugin source path in marketplace")
 
+if entry.get("version") != expected_marketplace["plugin_version"]:
+    raise SystemExit("Unexpected plugin version in marketplace")
+
 if plugin.get("name") != expected_marketplace["plugin_name"]:
     raise SystemExit("Unexpected plugin manifest name")
 
 if plugin.get("author", {}).get("name") != expected_marketplace["owner_name"]:
     raise SystemExit("Unexpected plugin manifest author")
+
+if plugin.get("version") != expected_marketplace["plugin_version"]:
+    raise SystemExit("Unexpected plugin manifest version")
+
+if plugin.get("skills") != expected_marketplace["skills"]:
+    raise SystemExit("Plugin manifest must register the ./skills/ directory")
 PY
 
 if find "$generated_skills" -type l | grep -q .; then