架构设计 Skill技能列表
分解规划路线图Skill decomposition-planning-roadmap
该技能用于创建结构化分解计划和迁移路线图，指导从单体应用向分布式架构的过渡。它通过组件分析、工作优先级排序、路线图制定和进度跟踪，帮助团队有效管理分解过程，提高迁移效率和成功率。关键词：分解规划、迁移路线图、架构设计、组件分析、微服务、优先级排序。
效应系统Skill effect-systems
效应系统技能专注于为编程语言设计和实现代数效应系统，用于追踪和处理计算效应。核心功能包括效应标注语法设计、效应推断算法实现、效应处理器开发、效应多态性处理以及基于行的效应类型系统构建。该技能支持多种效应模型（代数、单子、能力），提供完整的类型检查和优化能力，适用于函数式编程语言扩展、并发编程模型构建和副作用管理。关键词：代数效应、效应处理器、类型系统、函数式编程、副作用管理、延续、多态性、编程语言设计。
代码重构Skill code-refactoring
代码重构是一种软件工程技术，用于改进现有代码的结构和质量，而不改变其外部行为。关键技术包括提取方法、替换条件语句、引入参数对象等，旨在提高代码的可读性、可维护性和可扩展性。适用于清理遗留代码、降低复杂性和提升开发效率。关键词：代码重构、软件工程、代码质量、可维护性、重构技巧。
代码简化审查专家Skill code-simplicity-reviewer
此技能用于代码审查，专注于通过分析代码行、简化复杂逻辑、移除冗余和挑战抽象来确保代码的简单性和最小化。严格应用YAGNI原则，优化可读性，以提高代码质量、减少维护负担。关键词：代码简化、YAGNI、代码审查、软件开发、最小化、可维护性、代码质量。
开发原则技能Skill principles
本技能专注于提供软件开发的原则、指南和安全相关指导，特别强调差分编辑和VibeCoder应用，帮助开发者遵循最佳实践、提升代码质量与安全性。关键词：开发原则、指南、安全、差分编辑、VibeCoder、软件开发、代码质量、最佳实践。
学术研究工程师Skill research-engineer
学术研究工程师技能专注于将理论计算机科学与高性能实现结合，确保科学严谨性、最优算法实现和代码正确性。用于弥合理论计算机科学和高性能实现之间的差距，适用于软件开发、算法优化、形式验证等领域。关键词：学术研究，理论计算机科学，高性能计算，算法优化，形式验证，科学方法，代码实现，工程优化。
规范驱动开发Skill spec-driven-development
规范驱动开发（SDD）是一种基于GitHub SpecKit的结构化AI辅助软件开发方法论。它通过7个阶段（宪章、规范、澄清、规划、分析、任务分解、实施）将书面规范转化为可执行代码，强调宪章治理、分阶段工作流和多智能体协调。核心关键词包括：AI辅助开发、规范驱动、多智能体协调、结构化开发、GitHub SpecKit、分阶段工作流、宪章治理、并行执行、软件工程方法论。
知识架构Skill knowledge-architecture
知识架构技能用于设计和管理知识系统，通过本体论原理按事物的本质属性组织信息，而不是基于传统分类。它适用于个人知识库构建、文档系统设计、跨域链接模式创建，以及复杂领域的信息组织，旨在提升知识的可访问性、连接性和理解效率。关键词包括知识管理、本体论、信息架构、组织原则、知识系统、文档设计。
Excalidraw子代理委派Skill excalidraw
该技能用于在处理Excalidraw图表文件时，通过委派子代理来优化资源使用，避免主代理因解析冗长JSON而耗尽上下文令牌。适用于架构可视化、流程图创建和修改等场景，提高效率并管理计算资源。关键词：Excalidraw, 子代理, 委派, 上下文管理, 令牌效率, 图表分析, 架构设计。
类型健全性证明助手Skill soundness-proof-assistant
类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理
设计APIsSkill designing-apis
这份指南提供了REST和GraphQL API设计的详细步骤和规范，包括端点设计、错误处理、版本控制、认证授权、速率限制等关键API设计要素，旨在帮助开发者高效、安全地构建和维护API。
ContractsSkill contracts
合同定义了并行任务之间的接口。它们通过明确依赖关系，使得安全并发实现成为可能。