G github.com Princeton group open sources "SWE-agent", with 12% fix rate for GitHub issues 307 points asteroidz 2 years ago 143 comments