PDDL Copilot — Plugin Marketplace

A Claude Code plugin marketplace for PDDL planning and validation tools.

Available Plugins

Plugin	Description
pddl-solver	Compute plans using Fast Downward (classical) and ENHSP (numeric) via unified-planning. Pure pip, no Docker.
pddl-validator	Validate PDDL syntax, plans, and simulate state transitions using pyvalidator. Pure pip, no Docker.
pddl-parser	Parse PDDL domains/problems and generate structured trajectories. Pure pip, no Docker.

Prerequisites

• Python 3.10+ (all plugins are pure pip, no Docker required)
• Java 17+ (only needed for numeric planning via ENHSP in pddl-solver)

Installation

Install from the marketplace (recommended)

1. Start a Claude Code session:

   claude

2. Inside the session, type /plugins to open the plugins view:

   /plugins
   

   This opens the Plugins Manager screen with three tabs:

   ┌─────────────────────────────────────────────────┐
   │  Installed    Available    Marketplace Search  → │
   └─────────────────────────────────────────────────┘
   

3. Press the right arrow key (→) twice to navigate to the Marketplace Search tab:

   ┌─────────────────────────────────────────────────┐
   │  Installed    Available  ▸ Marketplace Search    │
   ├─────────────────────────────────────────────────┤
   │  Search: _                                       │
   │                                                  │
   │  Enter a GitHub owner/repo to search             │
   └─────────────────────────────────────────────────┘
   

4. Type the marketplace path and press Enter:

   SPL-BGU/pddl-copilot
   

5. Select a plugin from the results list and confirm installation:

   ┌─────────────────────────────────────────────────┐
   │  Marketplace Search                              │
   ├─────────────────────────────────────────────────┤
   │  ▸ pddl-solver                                   │
   │    PDDL planning with Fast Downward & ENHSP      │
   │    pddl-validator                                │
   │    PDDL validation with pyvalidator              │
   │    pddl-parser                                   │
   │    PDDL parsing and structured trajectories      │
   └─────────────────────────────────────────────────┘
   

6. Press Escape to exit the plugins view and return to your session.

Plugins are installed globally — start Claude Code from any project directory to use them.

Alternative: Load a specific plugin directly (development)

claude --plugin-dir ./plugins/pddl-solver
claude --plugin-dir ./plugins/pddl-validator
claude --plugin-dir ./plugins/pddl-parser

Use with Other AI Tools

The MCP servers and skills are portable — any tool that supports the Model Context Protocol can use them. Currently supported: Cursor and Google Antigravity.

Marketplace-Wide Setup (all plugins at once)

bash install_marketplace.sh --install

This auto-discovers all plugins, writes MCP configs, and symlinks skills to detected tools. Use --tool cursor or --tool antigravity for a specific tool.

Manual Setup (Cursor / Antigravity)

Both tools need two things: an MCP server config and skill symlinks.

MCP config — add to ~/.cursor/mcp.json (Cursor) or ~/.gemini/antigravity/mcp_config.json (Antigravity):

{
  "mcpServers": {
    "pddl-solver": {
      "command": "bash",
      "args": ["/absolute/path/to/plugins/pddl-solver/scripts/launch-server.sh"]
    },
    "pddl-validator": {
      "command": "bash",
      "args": ["/absolute/path/to/plugins/pddl-validator/scripts/launch-server.sh"]
    },
    "pddl-parser": {
      "command": "bash",
      "args": ["/absolute/path/to/plugins/pddl-parser/scripts/launch-server.sh"]
    }
  }
}

Skills — symlink the plugins' skills to the tool's global skills directory:

# Cursor
ln -sfn /absolute/path/to/plugins/pddl-solver/skills/pddl-planning ~/.cursor/skills/pddl-planning
ln -sfn /absolute/path/to/plugins/pddl-validator/skills/pddl-validation ~/.cursor/skills/pddl-validation
ln -sfn /absolute/path/to/plugins/pddl-parser/skills/pddl-parsing ~/.cursor/skills/pddl-parsing

# Antigravity
ln -sfn /absolute/path/to/plugins/pddl-solver/skills/pddl-planning ~/.gemini/antigravity/skills/pddl-planning
ln -sfn /absolute/path/to/plugins/pddl-validator/skills/pddl-validation ~/.gemini/antigravity/skills/pddl-validation
ln -sfn /absolute/path/to/plugins/pddl-parser/skills/pddl-parsing ~/.gemini/antigravity/skills/pddl-parsing

Replace /absolute/path/to with the actual path where you cloned this repo.

For OS-specific setup (macOS, Linux, Windows/WSL2), see docs/cross-platform-setup.md.

Examples

• examples/ollama-bridge/ — reference CLI for driving the marketplace plugins from a local Ollama model. Standalone, not part of CI.

Adding a New Plugin

See docs/contributing.md for the full guide.

Repository Structure

pddl-copilot/
├── .claude-plugin/
│   ├── plugin.json            # Marketplace metadata
│   └── marketplace.json       # Plugin catalog (lists all plugins)
├── .cursor-plugin/
│   ├── plugin.json            # Cursor marketplace metadata
│   └── marketplace.json       # Cursor plugin catalog
├── docs/
│   ├── architecture.md        # Architecture tiers, patterns, conventions
│   ├── contributing.md        # How to contribute and create plugins
│   ├── cross-platform-setup.md # macOS, Linux, Windows (WSL2) setup
│   └── branch-testing.md     # Testing branches on other machines
├── plugins/
│   ├── pddl-solver/           # Planning plugin
│   │   ├── .mcp.json
│   │   ├── CLAUDE.md
│   │   ├── .claude/settings.json
│   │   ├── server/solver_server.py
│   │   ├── skills/pddl-planning/
│   │   ├── scripts/launch-server.sh
│   │   └── tests/verify.py
│   ├── pddl-validator/        # Validation plugin
│   │   ├── .mcp.json
│   │   ├── CLAUDE.md
│   │   ├── .claude/settings.json
│   │   ├── server/validator_server.py
│   │   ├── skills/pddl-validation/
│   │   ├── scripts/launch-server.sh
│   │   └── tests/verify.py
│   └── pddl-parser/           # Parsing plugin (pure Python)
│       ├── .mcp.json
│       ├── CLAUDE.md
│       ├── .claude/settings.json
│       ├── server/parser_server.py
│       ├── skills/pddl-parsing/
│       ├── scripts/launch-server.sh
│       └── tests/verify.py
├── tests/
│   ├── static_checks.py       # Config & structure validation
│   └── mcp_protocol_test.py   # MCP stdio protocol smoke tests
├── .github/workflows/
│   └── integration.yml        # PR gate: static checks + plugin tests + MCP protocol
├── examples/
│   └── ollama-bridge/         # Reference Ollama → MCP bridge (not in CI)
├── install_marketplace.sh     # Unified Cursor/Antigravity installer
├── CLAUDE.md                  # Marketplace-level instructions
├── LICENSE
└── README.md

License

MIT