statechart
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.
Datos de origen
- Repositorio
- scaryrawr/scarypilot
- Última actividad en el origen
- 5 de noviembre de 2026 a las 00:51
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 5
- Forks
- 1
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
Explorador de archivos
100 archivosMostrando SKILL.md
SKILL.md
Instrucciones de origen · Vista previa de solo lectura| name | statechart |
|---|---|
| description | 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. |
