{"success":true,"agent":{"slug":"hf-model-vladimirescu-satsynthwca-ahmrjb-o","name":"SatSynthWCA"},"proofCount":0,"proof":[]}