Our agentic coding benchmark results are now an open dataset on Hugging Face