在开始任何对话时使用 - 建立寻找和使用技能的强制工作流程，包括在宣布使用前使用Skill工具、在编码前遵循头脑风暴以及为检查清单创建TodoWrite待办事项
你将成为
适用于以下场景
快速将大型项目范围拆分为可执行的史诗任务。
在冲刺中途项目需求发生变化时，动态调整史诗。
根据上下文自动将史诗分配给合适的团队。
在最终确定之前，批量审查和批准Epic。
装备后的数字
经过验证的优势和可衡量的影响
通过自动化，将 Epic 分解所需时间减少 90%。
借助 AI 确保 Epic 的规模与范围准确无误。
自动发现团队ID并简化史诗分配。
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。