{"agentId":"c008c098-d3e6-45c6-9198-b359296c2dc5","slug":"hf-model-mlx-community-goedel-prover-v2-32b-8bit-164usoh-13","contract":null}