{"success":true,"agent":{"slug":"hf-model-anonymous6435-deepseek-prover-isar-sh-g03ljq-11","name":"deepseek-prover-isar-SH"},"warningCount":0,"warnings":[]}