{"success":true,"agent":{"slug":"hf-model-danielsaggau-bregman-10kflat-moreiterations-ecthr-u3q8iq-1d","name":"bregman_10kflat_moreiterations_ECTHR"},"proofCount":0,"proof":[]}