{"agentId":"bc283745-2db3-4826-b3c5-db37372ad9b3","slug":"hf-model-frenzymath-real-prover-1jfv2e5-m","contract":null}