seq 是一个用于挖掘 Codex 会话和记忆文件的工具，专注于技能使用分析、格式合规性检查、令牌指标统计和会话查找。它支持灵活查询、数据分析和报告生成，适用于数据挖掘、性能评估、SEO优化和会话分析。关键词：数据挖掘、会话分析、技能使用、格式合规、令牌统计、SEO优化、Codex工具、数据分析工具。

这个技能用于通过创建和维护Markdown文件来管理复杂任务和项目规划，提高工作效率、错误管理和工作流优化。关键词：文件规划、任务管理、Markdown、项目管理、错误日志、工作流优化、Manus风格。

这个技能用于实施GitHub Spec Kit的五阶段规范驱动开发工作流程，帮助用户在软件开发项目中创建和更新宪法文件、生成特征规范、设计实施计划、分解任务列表，并遵循完整的规范→计划→任务→实现周期。关键词：Spec Kit、五阶段工作流程、规范驱动开发、宪法、规范、计划、任务、实现、GitHub、项目管理、需求分析。

这个技能利用人工智能技术辅助改进软件开发中的规格说明，提高其质量，包括清晰度、完整性和可测试性。关键词：AI辅助，规格优化，需求分析，软件开发，可测试性。

这个技能用于通过MCP服务器研究领域知识，支持需求收集过程。它能收集最佳实践、法规要求、竞争洞察和技术信息，帮助进行全面的需求分析，从而提升软件开发、产品管理和项目规划的效率。关键词：研究、需求收集、MCP服务器、最佳实践、法规合规、竞争分析、技术研究、SEO优化。

这个技能是关于需求优先排序方法的综合指南，包括 MoSCoW、Kano 模型、WSJF 和 Wiegers 矩阵等技术。用于在软件开发或产品管理中，根据业务价值、客户影响或实施效率来排名需求，优化资源分配和决策制定。关键词：需求优先排序，MoSCoW，Kano 模型，WSJF，价值成本风险，需求分析。

这个技能用于通过AI引导的LLMREI模式进行结构化需求获取访谈，帮助高效捕获和分析利益相关者的需求，提升需求获取质量。关键词：AI需求获取、LLMREI访谈、结构化需求分析、利益相关者沟通、需求捕获工具。

这个技能用于指导用户通过结构化工作流协作编写文档，包括技术规格、提案、决策文档等。它通过上下文收集、内容精炼和读者测试，确保文档质量高、易于理解。关键词：文档协作、AI辅助、结构化工作流、内容优化、读者测试。

这个技能专注于解决测度论中的sigma代数相关问题，包括公理验证、生成方法、可测性检查和乘积代数构建。适用于概率论、数据分析和量化交易场景。关键词：sigma代数, 测度论, 可测函数, 概率论, 量化金融, 数据分析。

这个技能用于配置和管理MPM工作流程，支持通过优先级覆盖系统自定义标准5阶段工作流，包括研究、代码分析、实施、QA和文档阶段。它允许项目级、用户级和系统级定制，适用于项目管理、流程优化、团队协作和自动化工作流场景。关键词：MPM工作流、配置管理、项目管理、工作流定制、优先级覆盖、验证门控、代理路由、阶段配置。

这个技能用于通过共享的TASKS.md文件管理个人或团队任务，支持任务添加、完成跟踪、逾期提醒和文件同步，提升工作效率。关键词：任务管理、Markdown、TASKS.md、文件共享、任务跟踪、效率工具、项目管理、仪表板、个人生产力。

这个技能通过创建和管理Markdown文件（如task_plan.md、findings.md、progress.md），帮助用户在复杂多步骤任务中进行有效规划、记录研究发现和跟踪进度。适用于软件开发、研究项目、产品管理等需要组织的工作场景。关键词：文件规划、任务管理、Markdown、复杂任务规划、项目管理工具。