架构设计 Skill技能列表
Mermaid图表语法参考Skill mermaid-syntax
Mermaid是一个基于JavaScript的图表工具,用于从Markdown文本生成多种图表,如流程图、序列图、类图等。它支持在软件开发、数据可视化和文档编写中快速创建图表,适用于软件架构设计、系统流程描述和数据展示。关键词:Mermaid,图表语法,Markdown,流程图,序列图,软件架构,数据可视化,图表工具。
超速驾驶Skill ultrapilot
超速驾驶是一个并行自动驾驶技能,用于加速软件开发任务的执行。它通过智能分解任务、划分文件所有权并并行运行多个工作器,实现高达5倍的速度提升。适用于多组件系统、大型重构和并行测试生成等场景。关键词:并行处理、文件所有权、任务分解、软件开发加速、自动化工具、智能代理。
企业架构学习Skill ea-learning
此技能用于以实践方式解释企业架构概念,帮助开发者和架构师学习和应用TOGAF、Zachman、ADR等框架和工具,适用于软件开发中的架构设计、决策记录和系统规划。关键词:企业架构、TOGAF、Zachman、ADR、学习、实践、架构设计。
PlantUML语法参考Skill plantuml-syntax
这个技能提供 PlantUML 图表的详细语法参考,包括 UML 和非 UML 图表类型,如序列图、类图、活动图、C4 模型、JSON/YAML 可视化等,用于生成准确的图表。适用于软件开发、架构设计、文档编写和系统建模。关键词:PlantUML, UML 图表, 语法参考, 架构图, 软件工具, 图表生成
计划编写Skill plan-write
这个技能用于在软件开发中,根据规格或需求创建详细的多步骤实施计划,以指导开发者进行编码,强调测试驱动开发(TDD)和简洁原则,适用于架构设计和项目管理。关键词:计划编写、实施计划、软件开发、TDD、多步骤任务、架构设计、项目管理、SEO优化。
优化正确性验证器Skill optimization-correctness-verifier
这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法(如Alive2)和SMT求解器,通过构建互模拟证明、生成反例等方式,确保优化转换不会改变程序的预期行为。核心关键词包括:编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。
创建命令Skill create-command
此技能用于创建新的斜杠命令,包括解析用户输入、分析需求、生成命令内容、创建文件并确认创建。适用于软件开发中的命令行工具创建和管理,关键词:斜杠命令、创建命令、命令管理、开发工具、自动化流程。
计划设计Skill plan-design
此技能用于在软件开发前阶段进行设计规划,通过协作提问、探索替代方案和增量验证,将初步想法转化为完整设计。关键词:设计规划、软件架构、协作设计、增量验证、YAGNI原则、技术栈选择、数据流设计。
C4架构图生成器Skill c4-diagram-generator
C4架构图生成器是一款专业的软件架构可视化工具,专门用于生成C4模型架构图。支持Structurizr DSL、PlantUML和Mermaid多种格式,涵盖上下文、容器、组件、代码四个抽象层级。适用于系统架构设计、微服务分解、云原生架构可视化等场景。关键词:C4模型、架构图、软件架构、系统设计、可视化工具、PlantUML、Mermaid、Structurizr、容器图、组件图
面向对象编程的继承与组合Skill oop-inheritance-composition
这个技能专注于面向对象编程中继承和组合的应用,用于设计类层次结构、组合对象以及实现设计模式如模板方法和策略模式。它提供多语言示例、最佳实践和常见陷阱,帮助构建灵活、可维护的软件系统。关键词:继承、组合、面向对象设计、类层次、代码重用、设计模式、软件架构、OOP。
仓库研究分析师Skill repo-research-analyst
这个技能专门用于研究和分析代码仓库的结构、文档和模式。它帮助开发者快速理解开源项目,发现最佳实践,并有效进行贡献,包括分析架构文件、审查贡献指南、搜索代码模式等。关键词:仓库分析、代码研究、文档审查、模式识别、GitHub、开源贡献、架构评估。
规范驱动开发工具包Skill speckit
Spec Kit是一个AI辅助的规范驱动开发(SDD)工具包,用于将自然语言想法快速转化为可执行规范、实现计划和任务列表。适用于功能规划、PRD创建、开发管理和项目管理,支持增量交付和质量保证。关键词:规范驱动开发、AI辅助、软件开发工具、项目管理、敏捷开发、架构设计。