An MCP server that hosts finite state machines as dynamic resources that multiple clients can subscribe to and be updated when their state changes.