协作规划文件技能是一个用于软件开发的多领域串行任务生成工具，通过统一计划笔记实现协作规划，自动检测文件、依赖和策略冲突。关键词：协作规划、串行任务、计划笔记、冲突检测、软件开发。

类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理

系统图表生成器是一个技能，用于使用Mermaid.js快速生成系统架构图，如C4上下文图和序列图，适用于产品需求文档或技术规范。输出为Mermaid.js代码，兼容GitHub和Notion平台。关键词：系统架构图、Mermaid.js、C4图、序列图、技术文档、软件开发工具、PRDs、架构设计。

这个技能用于深度分析系统架构、调试bug、调查性能问题和依赖关系。通过路由到架构师代理或Codex MCP，提供结构化发现和证据，帮助用户理解系统行为、识别根本原因并评估影响。关键词：分析、调查、架构设计、bug调试、性能优化、依赖分析、系统推理。

效应类型系统是一种编程技能，用于实现代数效应类型系统，帮助开发者在处理副作用、可扩展效应和效应推断时，以类型安全的方式设计和跟踪计算。它适用于编译器和解释器设计、编程语言实现和系统架构，提高代码可靠性和可维护性。关键词：效应类型系统、代数效应、类型系统、副作用管理、效应推断、编程语言设计、软件开发架构、效应处理器。

这个技能用于分析代码库中的技术债务，文档化代码质量问题，创建技术债务寄存器，或评估代码可维护性。涉及识别代码异味、架构问题、依赖管理、安全漏洞等，便于后续SEO搜索，关键词包括技术债务、代码分析、架构评审、维护性评估、安全扫描。

这个技能用于自动生成系统的架构文档，支持arc42和C4模型，可以创建系统上下文图、容器图和组件图，并附带详细的叙述描述。适用于软件架构师、开发人员和项目管理者，提高文档编制效率。关键词：架构文档、arc42、C4模型、软件架构、系统设计、文档生成、自动化工具

技术栈顾问是一个技能，用于基于项目需求推荐合适的技术栈。它覆盖前端、后端、数据库等多个类别，提供技术选型和比较功能。关键词：技术栈推荐、软件开发工具、技术选型、全栈组合、遗留代码扫描。

代码重构模式技能提供系统化的代码重构方法和模式，用于提高软件代码的可维护性、性能和清晰度，同时确保功能不变。它包括识别常见代码异味、应用重构技术如提取方法、重命名、简化条件逻辑等，并强调测试驱动和逐步重构的最佳实践。关键词：代码重构、模式、可维护性、性能、清晰度、测试、软件开发、代码质量。

数据库模式设计技能用于创建和管理数据库结构，包括规范化到第三范式、定义表关系、设置约束和预防常见错误。适用于PostgreSQL和MySQL数据库，覆盖新数据库开发、模式审查、迁移和性能优化。关键词：数据库设计、模式规范化、主键外键、数据完整性、SQL约束、审计跟踪、性能优化、PostgreSQL、MySQL。

此技能用于检测GraphQL架构版本之间的变化，包括重大、非重大和危险变化，帮助团队防止API回归、比较跨分支架构或验证迁移。关键词：GraphQL、架构比较、差异检测、API版本控制、迁移验证、CI/CD集成。

这个技能提供 PlantUML 图表的详细语法参考，包括 UML 和非 UML 图表类型，如序列图、类图、活动图、C4 模型、JSON/YAML 可视化等，用于生成准确的图表。适用于软件开发、架构设计、文档编写和系统建模。关键词：PlantUML, UML 图表, 语法参考, 架构图, 软件工具, 图表生成