Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "petri-pilot": {
      "command": "go",
      "args": [
        "run",
        "github.com/pflow-xyz/petri-pilot@latest"
      ]
    }
  }
}

README Excerpt

**Compile Petri net models into running applications.** A Petri net model defines places (states), transitions (actions), and arcs (connections). Petri-pilot compiles that model into a complete, deployable application. The generation is deterministic — the same model always produces the same code. ```

Tools (10)

petri_analyzepetri_applicationpetri_code_to_flowpetri_codegenpetri_conformancepetri_extendpetri_frontendpetri_simulatepetri_validatepetri_verify

petri-pilot

Quick Install

README Excerpt

Tools (10)

Related Code/Dev Tools Servers