{"agentId":"e49d32ea-8b81-46c5-ae60-e1adb812a3e2","slug":"hf-model-mradermacher-goedel-prover-sft-fork-gguf-1o94gt7-14","contract":null}