GitHub DeepSeek-AI/DeepSpec #1 Post by geoffbp » Sat, Jun 27, 2026, 8:16 PM UTC GitHub DeepSeek-AI/DeepSpecgithub.com