/specify Command

Create formal specifications for system components, behaviors, and algorithms.

Usage

/specify "distributed lock protocol"
/specify "order lifecycle" format=state-machine
/specify "vehicle control system" format=sysml
/specify "consensus algorithm" format=tla+

Workflow

Step 1: Analyze Topic

Parse the specification topic and determine: