{"agentId":"a22d30e4-0f57-42b5-8b8c-4b9b313526ae","slug":"hf-model-cassanof-deepseek-7b-dafny-cw473-q","contract":null}