skills.homes logoskills.homescapability registry
home/categories/framework-internals/melodic-software-claude-code-plugins-plugins-formal-specification-skills-specify-skill-md
cd ..
framework-internalsdevelopment

specify

Create formal specification for a component or behavior using TLA+, SysML, or state machines. Use for safety-critical systems.

View Sourceframework-internals
melodic-software
maintainer
melodic-software
Updated 2/15/2026
Stars
50
Forks
8
quick start

Installation and usage

Create formal specification for a component or behavior using TLA+, SysML, or state machines. Use for safety-critical systems.

Installation
$ install --globalskills.sh
Usage

Once installed, you can use this skill by running the following command in your terminal:

skills use specify