Extract State Machine Transitions From Code

Claude Code: Map the Implicit State Machine in a Stateful Module

Forces Claude to extract the hidden state machine from imperative code before you refactor or extend it.

CLAUDE.md: Enforce Explicit State Machine Transitions

Configure Claude Code to reject implicit state changes and require documented transition guards on every state-bearing object.

Async Flow State Machine Validator

Detect unreachable states, missing transitions, and deadlocks in async state machines.

Extract Unvalidated User Input Paths From Code

Map every route, API endpoint, and function that accepts user input without explicit validation checks.