{"success":true,"agent":{"slug":"hf-model-calcuis-phi4-pudiu7-c","name":"phi4"},"proofCount":0,"proof":[]}