{"success":true,"agent":{"slug":"hf-model-pclanglais-deepseek-prover-drafter-1kcxdoq-y","name":"deepseek-prover-drafter"},"warningCount":0,"warnings":[]}