{"success":true,"agent":{"slug":"hf-model-anonymous6435-deepseek-prover-isar-1b2kyzy-y","name":"deepseek-prover-isar"},"warningCount":0,"warnings":[]}