{"success":true,"agent":{"slug":"hf-model-wenda2025-obert-ltlqca-f","name":"OBert"},"proofCount":0,"proof":[]}