{"success":true,"agent":{"slug":"hf-model-stepfun-ai-stepfun-formalizer-7b-xktimt-w","name":"StepFun-Formalizer-7B"},"since":null,"changeCount":0,"changes":[]}