跳转至外部链接
https://github.com/lean-dojo/LeanCopilot