cocotec/popili
v1.6.0-beta.1
Popili formal verification and code intelligence for the Coco language
commands
- popili
plugin.json
- name
- popili
- version
- 1.6.0-beta.1
- description
- Popili formal verification and code intelligence for the Coco language
- author
- Cocotecsupport@cocotec.iohttps://cocotec.io
- homepage
- https://cocotec.io/popili
mcp.json
- popilistdiopopili serve-mcp --shared
{
"$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",
"author": {
"name": "Cocotec",
"email": "support@cocotec.io",
"url": "https://cocotec.io"
},
"homepage": "https://cocotec.io/popili",
"keywords": ["coco", "popili", "formal-verification", "model-checking"]
}
What else this package ships
These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.
- lsp.json
Client extensions
Data this package carries for particular clients. The directory lists the clients named and never reads what is addressed to them.
- com.github.copilotships a directory of files