Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx skills add escoffier-labs/skillet --skill statechartgit clone --depth 1 https://github.com/escoffier-labs/skilletWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/escoffier-labs/skillet/statechart)<a href="https://agentmods.dev/skills/escoffier-labs/skillet/statechart"><img src="https://agentmods.dev/badge/skills/escoffier-labs/skillet/statechart/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/escoffier-labs/skillet/statechart"><img src="https://agentmods.dev/badge/skills/escoffier-labs/skillet/statechart.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00049 | $0.01651 |
| Opus 5.5 | $0.00020 | $0.00660 |
| Sonnet 5.5 | $0.00010 | $0.00330 |
| Haiku 4.5 | $0.00005 | $0.00165 |
Grade A, and why
statechart scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 4d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 128 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Statechart
Show behavior in the user's words: what appears on the screen, what the user does, and what a request returns. Keep the model's variable and action names out of reader-facing labels. Charts describe the explored model under its stated bounds.
Scope, prerequisites, and trust
Run only on explicit request. Generate charts from copies in an authored scratch folder outside the product tree. Committed verification models stay where their project-local verify skill points. The helpers write scaffolds next to inputs and replace their own output folder. Product fixes remain outside scope unless the current request already explicitly authorizes them. Keep existing invariants. Ordinary application smoke checks belong to test-kitchen.
Use Node.js 18.15 or later for the bundled scripts and tests, with no npm dependencies.
Model checking requires an existing tla2tools.jar via TLA2TOOLS and Java 11 or
later via JAVA (default java). PNG output requires an already-installed mmdc
on PATH and its configured browser. An installed browser may be selected with
PUPPETEER_EXECUTABLE_PATH. The helpers never install packages. Any tool install or
new dependency requires existing user authorization. If missing, record the
prerequisite and the command that could not run.
Mapping files such as .map.mjs are executable JavaScript imports, as are their
transitive imports. Inspect them before running any helper. Prefer mappings you
author in scratch work over supplied modules. Do not run an untrusted mapping just
because its labels look harmless. A chart or model review does not authorize
arbitrary code execution. If trust cannot be established, recreate the mapping
from reviewed data or report the blocker.
Run node scripts/statechart.mjs --help from this package for all flags, output
files, chart conventions, and exit codes. Use absolute script paths when working
in scratch. See PROVENANCE.md for source and local changes.
From model or code to chart
What ships with it
19 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
- agents/openai.yaml 43 B
- CHANGELOG.md 971 B
- LICENSE 1.0 KB
- PROVENANCE.md 1.9 KB
- scripts/chart-to-tla.mjs 9.2 KB runs code
- scripts/compare-charts.mjs 3.9 KB runs code
- scripts/lib.mjs 32 KB runs code
- scripts/model/OutputFolder.cfg 154 B
- scripts/model/OutputFolder.map.mjs 3.8 KB runs code
- scripts/model/OutputFolder.tla 5.7 KB
- scripts/statechart.mjs 44 KB runs code
- scripts/test/statechart.test.mjs 122 KB runs code
- scripts/test/sync.mmd 597 B
- scripts/test/upload.mmd 507 B
- scripts/tlc-to-chart.mjs 59 KB runs code
- skill.json 184 B
- tests/render.test.mjs 4.2 KB runs code
- tests/scaffold.test.mjs 3.7 KB runs code
- tests/test-statechart.sh 398 B runs code
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 4d ago First seen · 128 lines · 49 tokens per session scan A 45a9ab74036c
statechart is a skill published in the GitHub repository escoffier-labs/skillet (4 stars, last pushed today), licensed MIT. It adds 49 tokens to every session and 1,651 once invoked, about $0.0002 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-10-24.
Other skills, from other repositories
critique
Adversarial design critique of the current work. Render it, look at it, and argue for rejection. Run after the gates are green, never instead of them.
design-qa
Set up or run design QA gates for token + hardcoded-value lint, automated a11y (axe), contrast, visual regression across variants/states/themes/RTL, and the manual a11y checklist. Use when the user wants CI quality gates, to prevent design regressions, or to QA a component/screen before shipping.
gate
Run the one-command quality gate and report the real N/N result. Use before claiming any build/review is done.
visual-qa
Runs rigorous visual QA across web, terminal, and paginated surfaces: an Apple HIG-based checklist, paired light/dark captures at phone and desktop widths, screenshot evidence, and a per-item PASS/FAIL verdict. Use for any UI build or change, or when asked whether a page, component, or TUI looks right or follows the…
html-review
An automated checker for HTML documents that tests structure, styling rules, typography, document tone, and decorative elements, then produces a structured report.
craft-ux
The Craftsman standard for UI/UX — design tokens, component patterns, pixel-perfect standards, Tailwind/React implementation, motion craft, an AI-tells anti-pattern catalog, and a two-pass review protocol (static review + live browser audit). Use this whenever designing, building, reviewing, auditing, redesigning, or…