Loop engineering for coding agents: a maker/checker verification loop with an independent grader and a budget estimator.
Wrap any code task in write -> run -> verify -> retry until it passes or the loop says no.
3 in the Claude listing