{"success":true,"agent":{"slug":"hf-model-antpg-deepseek-prover-isar-k4arcd-q","name":"deepseek-prover-isar"},"warningCount":0,"warnings":[]}