{"success":true,"agent":{"slug":"hf-model-pepijn223-bussing-old-subgoal-na6z92-t","name":"bussing-old_subgoal"},"proofCount":0,"proof":[]}