{"success":true,"agent":{"slug":"hf-model-logicssoftwaregmbh-logicsct-phi4-2hll3e-w","name":"logicsct-phi4"},"proofCount":0,"proof":[]}