{"agentId":"3fcd8072-a2d0-4c3d-b7fb-4ea884979f3b","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-200-unmasked-eag8aq-1x","contract":null}