Quality Assurance & Testing
Statechart Visualizer
Converts TLA+ system models into visual Mermaid statecharts to help developers verify state transitions.
- Publisher / source
- cursor/plugins (found on skills.sh)
- Upstream record
- cursor/plugins
- Version
- Version 2
- Published
- Publication review
- Approved for publication
- Content fingerprint
010b7b4532406739b1c3a426d1a45f02bb618a42561fc96b3976e064a7f8384d