Skip to content

Agent Plugins Directory

Skills MCP Official Topics ToolsLoginSOON

Files

mcp.json
plugin.json

C

cocotec/popili

v0.1.0

Popili formal verification and code intelligence for the Coco language

GitHub Open Website

Overview Skills0 Versions1

Version	Commit	Indexed
0.1.0latest	fe0603f0d225	2026-09-21

Install

```
copilot plugin install cocotec/agent-plugins:popili
```
Also works as /plugin install inside a session. Takes the default branch, not the pinned commit.

Declared author

Cocotec

Keywords

coco popili formal-verification model-checking

Browse

Skills
MCP servers
Official publishers

Explore

Topics
Keywords

More

Validate a spec
Docs for agents
openapi.json
llms.txt
sitemap.xml

About

About
Contact
Privacy Policy

Newsletter

Short and occasional. One click to stop.

Email address

An independent directory for the Agent Plugins open standard.

Skills MCP Official Topics Tools