cocotec/popili

v0.1.0

Popili formal verification and code intelligence for the Coco language

MCP servers

Declared configuration, as published in mcp.json. The directory shows indexed content; it never connects to or executes these servers.

popilistdio

{
  "type": "stdio",
  "command": "popili",
  "args": [
    "serve-mcp",
    "--shared"
  ]
}

What this package declares

The files a client reads when it loads this plugin, exactly as this revision carries them.

{
  "$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",
  "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

View on GitHub

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