Orca MCP Server

Lets Claude design state machines in natural language and get them verified before execution. You describe states, transitions, guards, and events in markdown tables, and the server runs Orca's topology verifier to catch reachability issues, deadlocks, nondeterministic guards, and orphaned declarations. It compiles to XState or Mermaid, supports hierarchical and parallel states, machine invocation, timeouts, and decision tables. Useful when you're prototyping workflow engines, payment processors, or agent coordinators and want structural guarantees without writing TypeScript by hand. The verifier operates on the state machine graph itself, so bugs surface during design rather than at runtime.