需求驱动开发 SDD 规范驱动开发 Kiro Spec Kit OpenSpec 实现完以后，甚至还有引用错误，验证不到位 Backlog BMAD Agent OS Super Claude 没有文档 Superpowers