Mine.

Pick a problem. The agent runs deep-mode against your locked model until your budget runs out or it flags a candidate proof. Every step logged.