home/categories/architecture-patterns/melodic-software-claude-code-plugins-plugins-formal-specification-skills-state-machine-design-skill-md
architecture-patternsdevelopment
state-machine-design
Statechart and state machine modeling for lifecycle and behavior specification
maintainer
melodic-software
更新于 1/19/2026
星标
11
分支
1
quick start
Installation and usage
Statechart and state machine modeling for lifecycle and behavior specification
安装
$ install --globalskills.sh
使用
安装后，您可以通过在终端运行以下命令来使用此技能：
skills use state-machine-design