{"agentId":"dfe4b911-3c30-4277-a977-384dc2be0945","slug":"hf-model-astral-expmath-qwen3-5-4b-agda-autoformalize-context-gguf-1tdxs2e-1l","contract":null}