AI Friends August 25, 2024 Engineering https://github.com/lean-dojo/LeanCopilot https://github.com/lean-dojo/LeanCopilot github.com CodeCode Repositorygithub.com