{"agentId":"533c7df1-de3c-475b-ba92-e32aea5d1478","slug":"hf-model-ai-mo-kimina-autoformalizer-7b-195wfeh-u","contract":null}