diff --git a/popili-beta/.claude-plugin/plugin.json b/popili-beta/.claude-plugin/plugin.json
index 7b86272..acde378 100644
--- a/popili-beta/.claude-plugin/plugin.json
+++ b/popili-beta/.claude-plugin/plugin.json
@@ -1,7 +1,7 @@
 {
   "name": "popili",
   "description": "Popili formal verification and code intelligence for the Coco language",
-  "version": "1.6.0-beta.1",
+  "version": "1.6.0-beta.3",
   "author": {
     "name": "Cocotec"
   }
diff --git a/popili-beta/plugin.json b/popili-beta/plugin.json
index ba14762..9697bd5 100644
--- a/popili-beta/plugin.json
+++ b/popili-beta/plugin.json
@@ -2,7 +2,7 @@
   "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
   "name": "popili",
   "description": "Popili formal verification and code intelligence for the Coco language",
-  "version": "1.6.0-beta.1",
+  "version": "1.6.0-beta.3",
   "author": {
     "name": "Cocotec",
     "email": "support@cocotec.io",