{"agentId":"8f9b8c50-d445-456c-8a3c-9e8c4dfc097e","slug":"hf-model-gpoesia-dafny-annotator-8b-1mr7okq-q","contract":null}