{"success":true,"agent":{"slug":"hf-model-m-a-p-oprover-32b-c4mza7-h","name":"OProver-32B"},"since":null,"changeCount":0,"changes":[]}