Research
CordisBench shows where agent harnesses should replace reasoning with verification
CordisBench finds that models struggle with growing harness lifecycle interactions even when software can compute the tested state consequences exactly.