{"success":true,"agent":{"slug":"hf-model-alexvav01-lean4-autoformalizer-sft-14ysvzh-y","name":"lean4-autoformalizer-sft"},"since":null,"changeCount":0,"changes":[]}