{"success":true,"agent":{"slug":"hf-model-sjtulean-leanformalizer-cot-7tmzn0-r","name":"LeanFormalizer_CoT"},"since":null,"changeCount":0,"changes":[]}