diff --git a/popili-beta/.claude-plugin/plugin.json b/popili-beta/.claude-plugin/plugin.json index 9237cab..7b86272 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": "0.1.0", + "version": "1.6.0-beta.1", "author": { "name": "Cocotec" } diff --git a/popili-beta/plugin.json b/popili-beta/plugin.json index 8e39f88..ba14762 100644 --- a/popili-beta/plugin.json +++ b/popili-beta/plugin.json @@ -2,17 +2,12 @@ "$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": "0.1.0", + "version": "1.6.0-beta.1", "author": { "name": "Cocotec", "email": "support@cocotec.io", "url": "https://cocotec.io" }, "homepage": "https://cocotec.io/popili", - "keywords": [ - "coco", - "popili", - "formal-verification", - "model-checking" - ] + "keywords": ["coco", "popili", "formal-verification", "model-checking"] }