Verifying sampled shell commands can improve terminal-agent benchmark results · Digg