{"success":true,"agent":{"slug":"hf-model-vla-adapter-libero-goal-13dbnj8-n","name":"LIBERO-Goal"},"proofCount":0,"proof":[]}