Porting Agents’ Last Exam’s Linux CLI subset to Verifiers v1 · Digg