statechart is a skill in michael-denyer/pstack-claude, last changed 1 Nov 2026. It can download software, run shell commands, reach the network, name web addresses and bundle scripts — read the findings before installing.
Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it as a Mermaid statechart. The report gives the shortest path to each state that breaks a rule. Use for /statechart, or to show a bug as a path through states.
At a glance
What it can touch
How much a skill can do, not whether it is risky.
Pattern check
1 item to review
A text file we couldn't read
R46 · High · scripts/test/corpus/CounterTieInGraph/chart.mmdCommit 513c088 · 3 Nov 2026
How the check worksPattern check:1 item to reviewSee it
Install
Each tab says whether it installs commit 513c088, the one we checked, or the latest version.
OpenCode also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Goose also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Windsurf (Devin Desktop) also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Zed also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Roo Code also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Factory Droid also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Junie also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Amp also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
No install command here reaches Kiro. Copy the skill's folder into .kiro/skills/ in your project, or ~/.kiro/skills/ for all your projects. michael-denyer/pstack-claude/plugins/pstack/skills/statechart (opens in a new tab)
Antigravity also looks in .agents/skills/, so the Any agent steps reach it with This project. For All projects, see where Antigravity looks.
Cline also looks in .claude/skills/, so the Claude Code steps reach it with This project. For All projects, see where Cline looks.
Read this before installing: A text file we couldn't read — scripts/test/corpus/CounterTieInGraph/chart.mmd
Claude Code
Pinned to commit 513c088, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/michael-denyer/pstack-claude.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 513c0886b79abb04065293581a4ef7e70049e4f2 &&git -C "$tmp" sparse-checkout set -- plugins/pstack/skills/statechart &&git -C "$tmp" checkout -q 513c0886b79abb04065293581a4ef7e70049e4f2 &&mkdir -p .claude/skills &&mkdir .claude/skills/statechart &&cp -R "$tmp"/plugins/pstack/skills/statechart/. .claude/skills/statechart/ &&rm -rf "$tmp"If Claude Code was already running and this created the skills folder, run /reload-skills.
Or install the pstack plugin it ships in. Installs the latest version, not the one we checked. Installs everything in the plugin, including any hooks, MCP servers and scripts our check doesn't cover.
claude plugin marketplace add michael-denyer/pstack-claude --scope project &&claude plugin install pstack@pstack-claude --scope projectClaude apps
Pinned to commit 513c088, the one we checked.
Skills in the Claude apps belong to your account rather than to a project.
Make statechart.zip, with the skill folder at the top level:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/michael-denyer/pstack-claude.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 513c0886b79abb04065293581a4ef7e70049e4f2 &&git -C "$tmp" sparse-checkout set -- plugins/pstack/skills/statechart &&git -C "$tmp" checkout -q 513c0886b79abb04065293581a4ef7e70049e4f2 &&out="$(mktemp -d)" &&cp -R "$tmp"/plugins/pstack/skills/statechart "$out"/statechart &&(cd "$out" && zip -qr - statechart) > statechart.zip &&rm -rf "$tmp" "$out"In Claude, open Customize > Skills, select +, then + Create skill > Upload a skill, and choose statechart.zip.
On Free, Pro and Max plans, turn on Code execution and file creation (Create and edit files in newer settings) under Settings > Capabilities.
Codex
Pinned to commit 513c088, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/michael-denyer/pstack-claude.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 513c0886b79abb04065293581a4ef7e70049e4f2 &&git -C "$tmp" sparse-checkout set -- plugins/pstack/skills/statechart &&git -C "$tmp" checkout -q 513c0886b79abb04065293581a4ef7e70049e4f2 &&mkdir -p .agents/skills &&mkdir .agents/skills/statechart &&cp -R "$tmp"/plugins/pstack/skills/statechart/. .agents/skills/statechart/ &&rm -rf "$tmp"Codex picks up new skills on its own; restart it if this one does not appear.
Cursor
Pinned to commit 513c088, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/michael-denyer/pstack-claude.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 513c0886b79abb04065293581a4ef7e70049e4f2 &&git -C "$tmp" sparse-checkout set -- plugins/pstack/skills/statechart &&git -C "$tmp" checkout -q 513c0886b79abb04065293581a4ef7e70049e4f2 &&mkdir -p .cursor/skills &&mkdir .cursor/skills/statechart &&cp -R "$tmp"/plugins/pstack/skills/statechart/. .cursor/skills/statechart/ &&rm -rf "$tmp"Copilot & VS Code
Pinned to commit 513c088, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/michael-denyer/pstack-claude.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 513c0886b79abb04065293581a4ef7e70049e4f2 &&git -C "$tmp" sparse-checkout set -- plugins/pstack/skills/statechart &&git -C "$tmp" checkout -q 513c0886b79abb04065293581a4ef7e70049e4f2 &&mkdir -p .github/skills &&mkdir .github/skills/statechart &&cp -R "$tmp"/plugins/pstack/skills/statechart/. .github/skills/statechart/ &&rm -rf "$tmp"In a running Copilot CLI session, run /skills reload.
Or install it with gh skill, which also installs the commit we checked. Needs GitHub CLI 2.90 or later.
gh skill install michael-denyer/pstack-claude plugins/pstack/skills/statechart/SKILL.md@513c0886b79abb04065293581a4ef7e70049e4f2 --agent github-copilot --scope projectGemini CLI
Pinned to commit 513c088, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/michael-denyer/pstack-claude.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 513c0886b79abb04065293581a4ef7e70049e4f2 &&git -C "$tmp" sparse-checkout set -- plugins/pstack/skills/statechart &&git -C "$tmp" checkout -q 513c0886b79abb04065293581a4ef7e70049e4f2 &&mkdir -p .gemini/skills &&mkdir .gemini/skills/statechart &&cp -R "$tmp"/plugins/pstack/skills/statechart/. .gemini/skills/statechart/ &&rm -rf "$tmp"In a running session, run /skills reload.
Or use Gemini CLI’s own installer. Installs the latest version, not the one we checked.
gemini skills install https://github.com/michael-denyer/pstack-claude.git --path plugins/pstack/skills/statechart --scope workspaceAny agent
Pinned to commit 513c088, the one we checked.
OpenCode, Goose, Windsurf (Devin Desktop), Zed, Roo Code, Factory Droid, Junie, Amp and Antigravity read .agents/skills in a project.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/michael-denyer/pstack-claude.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin 513c0886b79abb04065293581a4ef7e70049e4f2 &&git -C "$tmp" sparse-checkout set -- plugins/pstack/skills/statechart &&git -C "$tmp" checkout -q 513c0886b79abb04065293581a4ef7e70049e4f2 &&mkdir -p .agents/skills &&mkdir .agents/skills/statechart &&cp -R "$tmp"/plugins/pstack/skills/statechart/. .agents/skills/statechart/ &&rm -rf "$tmp"Or use the skills CLI from skills.sh. Installs the latest version, not the one we checked. The skills CLI reports installs to skills.sh unless you set DISABLE_TELEMETRY=1.
npx skills@1.7.4 add michael-denyer/pstack-claude --skill statechartWhat it can touch
From the files and frontmatter at commit 513c088. This is how much a skill can do, not whether it is risky.
Pattern check
Pattern check: 1 item to review · commit 513c088 · 3 Nov 2026
We checked every text file in this skill, at commit 513c088 on 3 Nov 2026, against 45 published patterns such as download-and-run commands, hidden text and credential access. We don't run the skill, we don't read the web pages it points to, and we can't judge everything its instructions might lead an agent to do. In published tests, pattern checks like this one missed most malicious skills. Read the skill before you install it — especially anything it asks you to download or run.
How the check worksReport an incorrect finding
Files we didn't read
- scripts/test/corpus/CounterTieInGraph/chart.mmd · not fetched
- scripts/test/corpus/CounterTieInGraph/graph.dot · not fetched
- scripts/test/corpus/CounterTieInGraph/report.md · not fetched
- scripts/test/corpus/CounterTieInGraph/sany.out · not fetched
- scripts/test/corpus/CounterTieInGraph/verdict-1.exit · not fetched
- scripts/test/corpus/CounterTieInGraph/verdict-1.out · not fetched
- scripts/test/corpus/CounterTieInGraph/verdict-2.out · not fetched
- scripts/test/corpus/CounterView/ChartRun.out · not fetched
- scripts/test/corpus/CounterView/CounterView.cfg · not fetched
- scripts/test/corpus/CounterView/CounterView.tla · not fetched
Show 199 more
- scripts/test/corpus/CounterView/chart.mmd · not fetched
- scripts/test/corpus/CounterView/graph.dot · not fetched
- scripts/test/corpus/CounterView/report.md · not fetched
- scripts/test/corpus/CounterView/sany.out · not fetched
- scripts/test/corpus/CounterView/verdict-1.exit · not fetched
- scripts/test/corpus/CounterView/verdict-1.out · not fetched
- scripts/test/corpus/CounterView/verdict-2.exit · not fetched
- scripts/test/corpus/CounterView/verdict-2.out · not fetched
- scripts/test/corpus/CounterView/verdict-3.exit · not fetched
- scripts/test/corpus/CounterView/verdict-3.out · not fetched
- scripts/test/corpus/CounterView/verdict-4.out · not fetched
- scripts/test/corpus/CounterView/view.mjs · not fetched
- scripts/test/corpus/DieHard/ChartRun.out · not fetched
- scripts/test/corpus/DieHard/DieHard.cfg · not fetched
- scripts/test/corpus/DieHard/DieHard.tla · not fetched
- scripts/test/corpus/DieHard/chart.mmd · not fetched
- scripts/test/corpus/DieHard/graph.dot · not fetched
- scripts/test/corpus/DieHard/report.md · not fetched
- scripts/test/corpus/DieHard/sany.out · not fetched
- scripts/test/corpus/DieHard/verdict-1.exit · not fetched
- scripts/test/corpus/DieHard/verdict-1.out · not fetched
- scripts/test/corpus/DieHard/verdict-2.out · not fetched
- scripts/test/corpus/FirstRule/ChartRun.out · not fetched
- scripts/test/corpus/FirstRule/FirstRule.cfg · not fetched
- scripts/test/corpus/FirstRule/FirstRule.tla · not fetched
- scripts/test/corpus/FirstRule/chart.mmd · not fetched
- scripts/test/corpus/FirstRule/graph.dot · not fetched
- scripts/test/corpus/FirstRule/report.md · not fetched
- scripts/test/corpus/FirstRule/sany.out · not fetched
- scripts/test/corpus/FirstRule/verdict-1.exit · not fetched
- scripts/test/corpus/FirstRule/verdict-1.out · not fetched
- scripts/test/corpus/FirstRule/verdict-2.exit · not fetched
- scripts/test/corpus/FirstRule/verdict-2.out · not fetched
- scripts/test/corpus/FirstRule/verdict-3.exit · not fetched
- scripts/test/corpus/FirstRule/verdict-3.out · not fetched
- scripts/test/corpus/FirstRule/verdict-4.exit · not fetched
- scripts/test/corpus/FirstRule/verdict-4.out · not fetched
- scripts/test/corpus/HiddenClock/ChartRun.out · not fetched
- scripts/test/corpus/HiddenClock/HiddenClock.cfg · not fetched
- scripts/test/corpus/HiddenClock/HiddenClock.tla · not fetched
- scripts/test/corpus/HiddenClock/chart.mmd · not fetched
- scripts/test/corpus/HiddenClock/graph.dot · not fetched
- scripts/test/corpus/HiddenClock/report.md · not fetched
- scripts/test/corpus/HiddenClock/sany.out · not fetched
- scripts/test/corpus/HiddenClock/verdict-1.exit · not fetched
- scripts/test/corpus/HiddenClock/verdict-1.out · not fetched
- scripts/test/corpus/Login/ChartRun.out · not fetched
- scripts/test/corpus/Login/Login.cfg · not fetched
- scripts/test/corpus/Login/Login.tla · not fetched
- scripts/test/corpus/Login/chart.mmd · not fetched
- scripts/test/corpus/Login/graph.dot · not fetched
- scripts/test/corpus/Login/report.md · not fetched
- scripts/test/corpus/Login/sany.out · not fetched
- scripts/test/corpus/Login/verdict-1.out · not fetched
- scripts/test/corpus/Login/view.mjs · not fetched
- scripts/test/corpus/LoginGuarded/ChartRun.out · not fetched
- scripts/test/corpus/LoginGuarded/LoginGuarded.cfg · not fetched
- scripts/test/corpus/LoginGuarded/LoginGuarded.tla · not fetched
- scripts/test/corpus/LoginGuarded/chart.mmd · not fetched
- scripts/test/corpus/LoginGuarded/graph.dot · not fetched
- scripts/test/corpus/LoginGuarded/report.md · not fetched
- scripts/test/corpus/LoginGuarded/sany.out · not fetched
- scripts/test/corpus/LoginGuarded/verdict-1.out · not fetched
- scripts/test/corpus/LoginGuarded/view.mjs · not fetched
- scripts/test/corpus/LoginParallel/ChartRun.out · not fetched
- scripts/test/corpus/LoginParallel/LoginParallel.cfg · not fetched
- scripts/test/corpus/LoginParallel/LoginParallel.tla · not fetched
- scripts/test/corpus/LoginParallel/chart.mmd · not fetched
- scripts/test/corpus/LoginParallel/graph.dot · not fetched
- scripts/test/corpus/LoginParallel/report.md · not fetched
- scripts/test/corpus/LoginParallel/sany.out · not fetched
- scripts/test/corpus/LoginParallel/verdict-1.exit · not fetched
- scripts/test/corpus/LoginParallel/verdict-1.out · not fetched
- scripts/test/corpus/LoginParallel/verdict-2.out · not fetched
- scripts/test/corpus/LoginParallel/view.mjs · not fetched
- scripts/test/corpus/MediaPlayer/ChartRun.out · not fetched
- scripts/test/corpus/MediaPlayer/MediaPlayer.cfg · not fetched
- scripts/test/corpus/MediaPlayer/MediaPlayer.tla · not fetched
- scripts/test/corpus/MediaPlayer/chart.mmd · not fetched
- scripts/test/corpus/MediaPlayer/graph.dot · not fetched
- scripts/test/corpus/MediaPlayer/report.md · not fetched
- scripts/test/corpus/MediaPlayer/sany.out · not fetched
- scripts/test/corpus/MediaPlayer/verdict-1.exit · not fetched
- scripts/test/corpus/MediaPlayer/verdict-1.out · not fetched
- scripts/test/corpus/MediaPlayer/verdict-2.out · not fetched
- scripts/test/corpus/MediaPlayer/view.mjs · not fetched
- scripts/test/corpus/MediaPlayerFixed/ChartRun.out · not fetched
- scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg · not fetched
- scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla · not fetched
- scripts/test/corpus/MediaPlayerFixed/chart.mmd · not fetched
- scripts/test/corpus/MediaPlayerFixed/graph.dot · not fetched
- scripts/test/corpus/MediaPlayerFixed/report.md · not fetched
- scripts/test/corpus/MediaPlayerFixed/sany.out · not fetched
- scripts/test/corpus/MediaPlayerFixed/verdict-1.out · not fetched
- scripts/test/corpus/MediaPlayerFixed/view.mjs · not fetched
- scripts/test/corpus/MediaPlayerProps/ChartRun.out · not fetched
- scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla · not fetched
- scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg · not fetched
- scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla · not fetched
- scripts/test/corpus/MediaPlayerProps/chart.mmd · not fetched
- scripts/test/corpus/MediaPlayerProps/graph.dot · not fetched
- scripts/test/corpus/MediaPlayerProps/report.md · not fetched
- scripts/test/corpus/MediaPlayerProps/sany.out · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-1.exit · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-1.out · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-2.out · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-3.out · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-4.exit · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-4.out · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-5.exit · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-5.out · not fetched
- scripts/test/corpus/MediaPlayerProps/verdict-6.out · not fetched
- scripts/test/corpus/MediaPlayerProps/view.mjs · not fetched
- scripts/test/corpus/PickWorker/ChartRun.out · not fetched
- scripts/test/corpus/PickWorker/PickWorker.cfg · not fetched
- scripts/test/corpus/PickWorker/PickWorker.tla · not fetched
- scripts/test/corpus/PickWorker/chart.mmd · not fetched
- scripts/test/corpus/PickWorker/graph.dot · not fetched
- scripts/test/corpus/PickWorker/report.md · not fetched
- scripts/test/corpus/PickWorker/sany.out · not fetched
- scripts/test/corpus/PickWorker/verdict-1.out · not fetched
- scripts/test/corpus/Shadow/ChartRun.out · not fetched
- scripts/test/corpus/Shadow/Shadow.cfg · not fetched
- scripts/test/corpus/Shadow/Shadow.tla · not fetched
- scripts/test/corpus/Shadow/ShadowLib.tla · not fetched
- scripts/test/corpus/Shadow/ShadowSub.tla · not fetched
- scripts/test/corpus/Shadow/chart.mmd · not fetched
- scripts/test/corpus/Shadow/graph.dot · not fetched
- scripts/test/corpus/Shadow/report.md · not fetched
- scripts/test/corpus/Shadow/sany.out · not fetched
- scripts/test/corpus/Shadow/verdict-1.out · not fetched
- scripts/test/corpus/SpacedNames/ChartRun.out · not fetched
- scripts/test/corpus/SpacedNames/SpacedNames.cfg · not fetched
- scripts/test/corpus/SpacedNames/SpacedNames.tla · not fetched
- scripts/test/corpus/SpacedNames/chart.mmd · not fetched
- scripts/test/corpus/SpacedNames/graph.dot · not fetched
- scripts/test/corpus/SpacedNames/report.md · not fetched
- scripts/test/corpus/SpacedNames/sany.out · not fetched
- scripts/test/corpus/SpacedNames/verdict-1.exit · not fetched
- scripts/test/corpus/SpacedNames/verdict-1.out · not fetched
- scripts/test/corpus/SpacedNames/verdict-2.exit · not fetched
- scripts/test/corpus/SpacedNames/verdict-2.out · not fetched
- scripts/test/corpus/TwoPhase/ChartRun.out · not fetched
- scripts/test/corpus/TwoPhase/TwoPhase.cfg · not fetched
- scripts/test/corpus/TwoPhase/TwoPhase.tla · not fetched
- scripts/test/corpus/TwoPhase/chart.mmd · not fetched
- scripts/test/corpus/TwoPhase/graph.dot · not fetched
- scripts/test/corpus/TwoPhase/report.md · not fetched
- scripts/test/corpus/TwoPhase/sany.out · not fetched
- scripts/test/corpus/TwoPhase/verdict-1.exit · not fetched
- scripts/test/corpus/TwoPhase/verdict-1.out · not fetched
- scripts/test/corpus/TwoPhase/verdict-2.out · not fetched
- scripts/test/corpus/TwoPhase/view.mjs · not fetched
- scripts/test/corpus/TwoPhaseFixed/ChartRun.out · not fetched
- scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg · not fetched
- scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla · not fetched
- scripts/test/corpus/TwoPhaseFixed/chart.mmd · not fetched
- scripts/test/corpus/TwoPhaseFixed/graph.dot · not fetched
- scripts/test/corpus/TwoPhaseFixed/report.md · not fetched
- scripts/test/corpus/TwoPhaseFixed/sany.out · not fetched
- scripts/test/corpus/TwoPhaseFixed/verdict-1.out · not fetched
- scripts/test/corpus/TwoPhaseFixed/view.mjs · not fetched
- scripts/test/corpus/TypeGuard/ChartRun.exit · not fetched
- scripts/test/corpus/TypeGuard/ChartRun.out · not fetched
- scripts/test/corpus/TypeGuard/TypeGuard.cfg · not fetched
- scripts/test/corpus/TypeGuard/TypeGuard.tla · not fetched
- scripts/test/corpus/TypeGuard/chart.mmd · not fetched
- scripts/test/corpus/TypeGuard/graph.dot · not fetched
- scripts/test/corpus/TypeGuard/report.md · not fetched
- scripts/test/corpus/TypeGuard/sany.out · not fetched
- scripts/test/corpus/TypeGuard/verdict-1.exit · not fetched
- scripts/test/corpus/TypeGuard/verdict-1.out · not fetched
- scripts/test/corpus/TypeGuard/verdict-2.exit · not fetched
- scripts/test/corpus/TypeGuard/verdict-2.out · not fetched
- scripts/test/corpus/UserNoDeadlock/ChartRun.out · not fetched
- scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg · not fetched
- scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla · not fetched
- scripts/test/corpus/UserNoDeadlock/chart.mmd · not fetched
- scripts/test/corpus/UserNoDeadlock/graph.dot · not fetched
- scripts/test/corpus/UserNoDeadlock/report.md · not fetched
- scripts/test/corpus/UserNoDeadlock/sany.out · not fetched
- scripts/test/corpus/UserNoDeadlock/verdict-1.exit · not fetched
- scripts/test/corpus/UserNoDeadlock/verdict-1.out · not fetched
- scripts/test/corpus/UserNoDeadlock/verdict-2.exit · not fetched
- scripts/test/corpus/UserNoDeadlock/verdict-2.out · not fetched
- scripts/test/differential.test.ts · not fetched
- scripts/test/grid/Grid.cfg · not fetched
- scripts/test/grid/Grid.tla · not fetched
- scripts/test/grid/sany.out · not fetched
- scripts/test/java.ts · not fetched
- scripts/test/labels.ts · not fetched
- scripts/test/messages.test.ts · not fetched
- scripts/test/pipeline.test.ts · not fetched
- scripts/test/plain-tlc.test.ts · not fetched
- scripts/test/render.test.ts · not fetched
- scripts/test/tlc-out.test.ts · not fetched
- scripts/test/tlc.ts · not fetched
- scripts/tsconfig.json · not fetched
- scripts/worker.ts · not fetched
Outside links we did not follow
- https://pele.run/api
- https://pele.run/theming
- https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/tla2tools.jar,checksum=sha256:936a262061c914694dfd669a543be24573c45d5aa0ff20a8b96b23d01e050e88]@1.7.4
Format check
Each agent reads SKILL.md a little differently. We check the file against each one's published rules; we don't run the skill in any agent.
Agent Skills specPasses
The open format from agentskills.io, held to the strictest version of each rule among the agents we check.
- Note
There is no license field, so readers can't tell whether they may reuse the skill. O2
Fix: Add license: with an SPDX name such as MIT or Apache-2.0, or the name of a bundled licence file.
- Note
Reference files that SKILL.md doesn't link: scripts/test/corpus/Counter/report.md, scripts/test/corpus/CounterAction/report.md, scripts/test/corpus/CounterDeadlock/report.md, scripts/test/corpus/CounterFan/report.md, scripts/test/corpus/CounterGuard/report.md and 28 more. Anthropic suggests linking every reference file directly from SKILL.md. B4
Fix: Link each one from SKILL.md and say when to read it.
- Note
Claude CodePasses
Claude Code reads its own extra fields, ignores unknown ones, and still loads a skill whose frontmatter is broken, without its fields.
- Note
Reference files that SKILL.md doesn't link: scripts/test/corpus/Counter/report.md, scripts/test/corpus/CounterAction/report.md, scripts/test/corpus/CounterDeadlock/report.md, scripts/test/corpus/CounterFan/report.md, scripts/test/corpus/CounterGuard/report.md and 28 more. Anthropic suggests linking every reference file directly from SKILL.md. B4
Fix: Link each one from SKILL.md and say when to read it.
- Note
Claude apps & API uploadPasses
Uploading to claude.ai or the Claude API, or packaging with Anthropic's script, accepts only the six spec fields and stops on anything else.
- Note
The description is 277 characters. The claude.ai Help Center says 200 at most, though Anthropic's API docs and validator allow 1,024. D4
Fix: If the claude.ai upload refuses it, trim the description to 200 characters.
- Note
Reference files that SKILL.md doesn't link: scripts/test/corpus/Counter/report.md, scripts/test/corpus/CounterAction/report.md, scripts/test/corpus/CounterDeadlock/report.md, scripts/test/corpus/CounterFan/report.md, scripts/test/corpus/CounterGuard/report.md and 28 more. Anthropic suggests linking every reference file directly from SKILL.md. B4
Fix: Link each one from SKILL.md and say when to read it.
- Note
- OpenAI (Codex & API)Passes
- VS Code & CopilotPasses
SKILL.md
Files
409 files
Show 389 more
Copies
These share its SKILL.md or its name and description but not all its files, so we list them separately.
More from michael-denyer/pstack-claude
Other Coding & code review skills
Same category, most repo stars first.