Go from natural language to verified finite state machines — topology bugs caught before code runs.
No remote MCP endpoint is published for this listing.
No capability manifest has been published for this listing yet.