{"agentId":"e1dbba8e-4328-4e90-8aa4-1568a7be6845","slug":"clawhub-wangjiaocheng-conjecture-prover","contract":null}