架构设计 Skill技能列表
简化级联Skill SimplificationCascades
简化级联是一种软件设计技能，旨在通过发现核心洞见来减少代码复杂性和冗余，提高开发效率。它涉及抽象通用模式、统一原则，并消除不必要的组件，适用于当同一概念被多次实现、特殊案例累积或复杂性增加时。关键词：简化、抽象、架构设计、代码重构、复杂性管理、软件开发、设计模式。
规范驱动开发工具包Skill speckit
Spec Kit是一个AI辅助的规范驱动开发(SDD)工具包，用于将自然语言想法快速转化为可执行规范、实现计划和任务列表。适用于功能规划、PRD创建、开发管理和项目管理，支持增量交付和质量保证。关键词：规范驱动开发、AI辅助、软件开发工具、项目管理、敏捷开发、架构设计。
代码可视化Skill visualize-code
代码可视化技能用于自动分析源代码并生成架构图表，支持类图、ER图、序列图和依赖图。它通过文件模式检测和Mermaid语法实现高效可视化，适用于软件开发中的架构设计和代码审查。关键词：代码分析、架构可视化、Mermaid图表、自动化绘图、软件开发工具、SEO优化。
图表可视化生成Skill visualize
这个技能用于从自然语言描述自动生成各种图表，如序列图、类图、ER图、流程图、C4图等，使用Mermaid或PlantUML工具。关键词：图表生成、自然语言处理、可视化、软件开发工具、架构设计。
MilanJovanovic博客技能Skill milan-jovanovic-blog
本技能提供对 Milan Jovanovic .NET 技术博客内容的搜索和访问，专注于 Clean Architecture、领域驱动设计、CQRS 等软件架构模式，帮助开发者应用已验证的代码示例和指导，适用于 .NET 10 及以上版本的项目优化。关键词：Clean Architecture, DDD, CQRS, .NET, 软件架构, 代码模式, ASP.NET Core, Entity Framework Core。
解决方案设计验证Skill specify-solution
此技能用于创建和验证解决方案设计文档（SDD），聚焦于技术架构设计、接口定义和文档验证，适用于软件开发中的架构设计阶段，关键词包括解决方案设计、架构验证、技术文档、SDD、PRD对齐、组件重叠检测、接口冲突解决。
错误处理模式Skill error-handling-patterns
这个技能专注于实现健壮的错误处理策略，包括创建自定义错误类、设置错误边界、设计API错误响应格式、实施重试逻辑和错误监控。它帮助开发者构建故障容忍系统，提高软件可靠性和用户体验，适用于软件开发中的错误管理。关键词：错误处理、自定义错误、错误边界、重试策略、错误监控、故障容忍、优雅降级。
递推关系求解器Skill recurrence-solver
递推关系求解器是一个专注于算法分析的技能，专门用于求解计算机科学中分治、递归等算法复杂度分析时产生的递推关系。它支持主定理、代入法、递归树、生成函数、Akra-Bazzi等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。
优化正确性验证器Skill optimization-correctness-verifier
这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。
操作语义构建器Skill operational-semantics-builder
该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。
代码重构最佳实践技能Skill refactor
此技能提供基于Martin Fowler代码重构目录和Clean Code原则的最佳实践指南，专为AI代理和LLM设计，帮助自动化重构代码、改进结构、减少耦合、提高可读性和可维护性。适用于代码审查、开发实践和软件工程。关键词：代码重构、Martin Fowler、Clean Code、最佳实践、AI代理、LLM、自动化重构。
PlantUML语法参考Skill plantuml-syntax
这个技能提供 PlantUML 图表的详细语法参考，包括 UML 和非 UML 图表类型，如序列图、类图、活动图、C4 模型、JSON/YAML 可视化等，用于生成准确的图表。适用于软件开发、架构设计、文档编写和系统建模。关键词：PlantUML, UML 图表, 语法参考, 架构图, 软件工具, 图表生成