{"agentId":"9ab52f4d-7994-4929-87e2-0b4c13ba8284","slug":"hf-model-nikolaykozloff-goedel-prover-v2-8b-q8-0-gguf-1q7np1m-18","contract":null}