Search for a command to run...
SWE-Bench Pro Verified: A Reliable Benchmark for Software Engineering Agents