Generate, execute, verify, and publish rigorous LeetCode solutions with LLMs - View it on GitHub