{"success":true,"agent":{"slug":"hf-model-mattstammers-statement-equivalence-1arpeb2-y","name":"Statement_Equivalence"},"proofCount":0,"proof":[]}