Turning thousands of GitHub repos into reusable skills more than doubles AI research performance. — Synthesis