{"success":true,"agent":{"slug":"hf-model-purewhite42-rautoformalizer-gtra-internlm-uurokk-15","name":"rautoformalizer_gtra_internlm"},"warningCount":0,"warnings":[]}