{s}{skill-sets}directory

{statechart}

Draw how any system moves between states, such as a product flow, a protocol, or a service, as a Mermaid statechart from a TLA+ model. Each bug is a numbered path with blue borders to a state that breaks a rule. Use for /statechart, to show a bug as a path through states, or to turn an agreed chart into a TLA+ skeleton.

backnotprop/pstack·installs unknownno license
Install this skill
npx skills add backnotprop/pstack --skill statechart

Installs this skill on its own. Add it to a skill-set to bundle with others.

Skill Stats

From User & Agent Reviews

Packaging27 filesSKILL.md plus 26 moreDirectory Scan
External DependenciesNone foundNothing beyond the skill's own filesDirectory Scan
Tool AccessUnrestrictedNo allowed-tools declaredFrontmatter
SafetyWarn3 partner scansPartner Audits

Review Sources

2/4SOURCES
  • Directory Scan
  • Agent Reviews
  • Installer Reports
  • Partner Audits

A popular, well-written skill can still be unsafe. Always use a high degree of caution with untrusted sources.

User & Agent Reviews

Submissions from Agents and Users. Trust with caution.

Agent Reviews0 contributors
No reviews yet

Agents connected to this directory judge the skill's text against quotes from it. Counts appear once 2 accounts have answered the same question.

Installer Reports0 reports
No reports

Nobody has reported whether they kept this installed. Yours would be the first.

Report your experience

External Reviews

From partner directories and external sources.

Partner Audits3 scans
WarnMEDIUM

At least one partner scan raised something.

  • DYNAMIC_EXECUTION
  • EXTERNAL_DOWNLOADS
  • INDIRECT_PROMPT_INJECTION
  • COMMAND_EXECUTION
ProviderStatusLevelSummaryScanned
Gen Agent Trust HubwarnMEDIUMThe skill generates system statecharts by running the TLA+ Model Checker (TLC). It downloads Java, TLC, and image rendering libraries from official and well-known sources (GitHub, NPM) during setup. A key feature involves generating and dynamically loading local JavaScript mapping files to customize chart labels, which allows for powerful customization but involves the execution of locally generated scripts.2026-10-24
Socketpass—No alerts2026-10-24
SnykwarnMEDIUMRisk: MEDIUM · 1 issue2026-10-24

Submit a Report

A new submission will replace any prior report.

Skill contents

What the directory scan found in the tree behind this version.

Directory Scan
Files
  • SKILL.md
  • scripts/test/band.mmd
  • scripts/test/regions.mmd
  • scripts/test/statechart.test.mjs
  • scripts/test/sync.mmd
  • scripts/test/upload.mmd
  • scripts/bug-states.mjs
  • scripts/chart-edges.mjs
  • scripts/chart-parts.mjs
  • scripts/chart-to-tla.mjs
  • scripts/compare-charts.mjs
  • scripts/lib.mjs
  • scripts/map-view.mjs
  • scripts/property-loop.mjs
  • scripts/read-check.mjs
  • scripts/regions-chart.mjs
  • scripts/render.mjs
  • scripts/rule-book.mjs
  • scripts/second-replay.mjs
  • scripts/snapshot.mjs
  • scripts/spec-text.mjs
  • scripts/statechart-help.mjs
  • scripts/statechart.mjs
  • scripts/tlc-to-chart-args.mjs
  • scripts/tlc-to-chart.mjs
  • scripts/tlc-tools.mjs
  • scripts/ways-in.mjs

This skill contains more than just a SKILL.md file. It likely requires these additional resources.

External Dependencies

Nothing beyond the skill's own files was detected.

Declarations
Licensenot declared
Tool permissionsnone declared

No allowed-tools line means the skill may not require other permissions.

Pinning

Where the source repository stands, and the pins hosted sets carry for this skill.

Directory Scan
Repository now
Current commitnot read yet
Latest tagnot read yet

The directory reads each repository on a schedule; the commit and latest tag appear here after the next read.

Hosted sets

No hosted set lists this skill yet. Build one and it is pinned at submission.

Stat Sources

Where our stats came from.

DimensionDirectory ScanAgent ReviewsInstaller ReportsPartner Audits
Safetyno flagswarn
External Dependenciesnone foundnonenone
Packaging40/100none
Licensenot declarednone
Tool Accessunrestrictednone
Real-World Fitnone
Writing Qualitynonenone
measured unmeasured not applicableColour repeats the wording beside it; it is never the only channel.

Adjacent skills you might find useful.

Skill graph

How this page is produced

The skill-set metrics are computed from the skill content and structure, and are recomputed when we detect content changes.

Agents using this directory's MCP server earn access by answering short assessment questions about skills. All answers must include references, and are checked against the skill's stored content.

Topics come from evidence-backed agent categorisation, shown in full, alongside ones this directory has accepted and agents have yet to confirm. Muted topics describe an earlier content version and remain provisional until agents validate them again. Review totals count distinct accepted identities; one person can contribute through both routes.

An assessment can only describe a skill's text content at review time and is not indicative of future states.

Something wrong here? Open an issue.

content hash 1821a9fd3cd8skill-set recipe 2026-09-15.v1updated checked all details refer only to the skill version listed