/specify

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

# /specify Command

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

## Usage



## Workflow

### Step 1: Analyze Topic

Parse the specification topic and determine:

- What is being specified (protocol, lifecycle, system, algorithm)
- Key properties to capture (safety, liveness, structure)
- Appropriate formalism to use

### Step 2: Select Specification Format

If format not specified, auto-detect based on topic:

| Topic Pattern | Recommended Format |
|--------------|-------------------|
| "protocol", "consensus", "distributed" | TLA+ |
| "lifecycle", "statu...