{"agentId":"81f7f965-c272-414a-91d6-a2f61362fac3","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-125-unmasked-9agcso-1x","contract":null}