{"agentId":"4cd94924-4d52-4588-a042-9d4cc2078ab1","slug":"hf-model-khanh2023-goedel-code-prover-8b-mlx-group-size64-quant-predicate-mixed-4-6-1iosgkh-22","contract":null}