Search for a command to run...
AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines