← All skills
statechart
87 / 100 · Low risk
Fine to try. Some of what it can do is expected: a coding skill usually runs build and test commands.
By hashgraph-online/awesome-codex-plugins (GitHub) · coding · 1,563 stars · scanned at commit 6d2e63f
Model-check a TLA+ spec with TLC and turn the result into a reader-labeled Mermaid state diagram plus a report of the shortest path to every violated rule. Use on /statechart, to explain a bug as a walk through states, or to read any TLA+ result (formal verify skills route here).
Works with any agent that supports SKILL.md skills.
What this skill can do
Changes files outside its own folder
This is disclosed by the author in the skill's SKILL.md or README.
Found in 1 place.
Connects to the internet
This is disclosed by the author in the skill's SKILL.md or README.
Found in 1 place.
Runs commands on your computer
The author does not mention this. Expected for a coding skill.
Found in 14 places.
Show 11 more
- plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 6
import { spawn, spawnSync } from 'node:child_process'; - plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 22
const r = spawnSync(LAUNCHER, args, { - plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 71
const r = spawnSync(path.join(links, 'sub', 'c'), [spec, '--out', path.join(dir, 'o')], { encoding: 'utf8', env: { ...process.env, STATECHART_REPLAY: caseFiles( - plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 80
const old = spawnSync(LAUNCHER, ['x.tla'], { encoding: 'utf8', env: { ...process.env, STATECHART_NODE: fake } }); - plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 84
const broken = spawnSync(LAUNCHER, ['x.tla'], { encoding: 'utf8', env: { ...process.env, STATECHART_NODE: fake } }); - plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 86
const none = spawnSync('/bin/sh', [LAUNCHER, 'x.tla'], { encoding: 'utf8', env: { PATH: bin.replace(/$/, '-empty') } }); - plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 230
const r = spawnSync('pgrep', ['-f', 'statechart.mjs --worker'], { encoding: 'utf8' }); - plugins/requie/endostack/skills/statechart/scripts/test/cli.test.mjs, line 294
const r = spawnSync(LAUNCHER, [spec, '--out', path.join(dir, 'o')], { - plugins/requie/endostack/skills/statechart/scripts/test/live.test.mjs, line 6
import { spawnSync } from 'node:child_process'; - plugins/requie/endostack/skills/statechart/scripts/test/live.test.mjs, line 76
const r = spawnSync(java, ['-XX:+UseParallelGC', `-DTLA-Library=${path.dirname(c.spec)}`, '-cp', jar, 'tlc2.TLC', '-workers', '1', '-fp', '0', '-lncheck', 'fina - plugins/requie/endostack/skills/statechart/scripts/test/live.test.mjs, line 135
const r = spawnSync(LAUNCHER, [path.join(dir, 'Jugs.tla')], { encoding: 'utf8', env: { ...process.env, STATECHART_REPLAY: '' } });
Install
Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.
if [ -e ~/.agents/skills/'statechart' ] || [ -L ~/.agents/skills/'statechart' ]; then echo 'A skill folder named statechart already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/hashgraph-online/awesome-codex-plugins' "$d" && git -C "$d" checkout --quiet '6d2e63f73f845eb5dd94c1debba627d4b6e32fba' -- 'plugins/requie/endostack/skills/statechart' && mkdir -p ~/.agents/skills && cp -R "$d"/'plugins/requie/endostack/skills/statechart' ~/.agents/skills/'statechart' && rm -rf "$d"; fi
Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'statechart' ~/.claude/skills/'statechart' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.
Badge for your README
The badge for hashgraph-online/awesome-codex-plugins shows the score of its lowest-scoring skill.
[](https://zalavijaysinh.github.io/skilltrust/repos/hashgraph-online/awesome-codex-plugins/)
Score history
| Date | Version | Score |
|---|
| 2026-11-12 | 6d2e63f | 87 |
| 2026-11-11 | 4070676 | 87 |
| 2026-11-10 | f620aba | 87 |
| 2026-11-09 | 3062ea3 | 87 |
| 2026-11-08 | 057d789 | 87 |
| 2026-11-06 | e012fe1 | 87 |