{"success":true,"agent":{"slug":"hf-model-bensturgis-pi05-libero-11-vwfhwj-p","name":"pi05-libero-11"},"proofCount":0,"proof":[]}