{"agentId":"dc389610-73fc-4d49-b9a7-00d07acd1c96","slug":"hf-model-jetbrains-research-rocq-language-theorem-embeddings-a22pjc-1f","contract":null}