{"success":true,"agent":{"slug":"hf-model-jpq24-logic-v4-merged-16bit-mqwtn4-r","name":"Logic-v4-Merged-16bit"},"proofCount":0,"proof":[]}