Plugin marketplace

libpetri

Claude Code plugins for libpetri, the Coloured Time Petri Net engine for Java, TypeScript, Rust, and Python.

28 · debe/libpetri1 pluginApache-2.0updated yesterday

Add this marketplace

Then install any plugin below by name — each page has its exact command.

libpetri

claude

Design principles for building provable Coloured Time Petri Nets with libpetri: token-carried data flow, reusable subnets, correlated fork/join, and proofs from the first commit.

1 skill

28

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted