sergiorbk

6 mods across 1 repository, 5 stars between them.

add-a-setting

01

sergiorbk/petri-net-sim

Skill Claude CodeCodex

Add a user-facing setting or per-account switch to Petri Net Sim end to end, from the toggle in Settings to the code that honours it. Use when adding anything to the Settings screen, a per-user preference or permission, or when a saved setting does not survive a reload.

5 6d ago A 61 tokens

connect-mcp

02

sergiorbk/petri-net-sim

Skill Claude CodeCodex

Register a running Petri Net Sim instance as an MCP server in Claude Code, Claude Desktop, Cursor, or any other MCP client. Use when someone wants an agent to build, edit or simulate Petri nets in their account over MCP, or when an MCP connection to this app returns 401 or 403.

5 6d ago A 67 tokens

petri-api

03

sergiorbk/petri-net-sim

Skill Claude CodeCodex

Call the Petri Net Sim HTTP API from code or a shell. Generate a net from a natural-language prompt through the OpenAI-compatible endpoint, then read, store, export or simulate it. Use when someone wants to script this app rather than click it, or when an API call returns 401, 403 or an empty reply.

5 6d ago A 72 tokens

pnml-standard

04

sergiorbk/petri-net-sim

Skill Claude CodeCodex

Where the ISO/IEC 15909-2 PNML grammar lives in this repo and how exported documents are held to it. Use before changing anything about the shape of a PNML document, adding an element or attribute, touching the exporters, importer or golden fixtures, or when a conformance or schema test fails.

5 6d ago A 68 tokens

sergiorbk/petri-net-sim

Instructions file CodexOpenCode

AGENTS.md instructions for sergiorbk/petri-net-sim, covering working on petri net sim, layout, commands, backend, from backend/ and frontend, from frontend/.

5 6d ago A 1,475 tokens

sergiorbk/petri-net-sim

Instructions file

Claude Code instructions for sergiorbk/petri-net-sim: Read AGENTS.md. It carries the project layout, the commands, and the house rules for this repo, and it is the one file kept up to date.

5 6d ago A 150 tokens