架构设计 Skill技能列表
Gemini计划工具Skill gemini-plan
这个技能使用Gemini CLI生成Claude可执行的实现计划,帮助软件开发团队自动化规划复杂的多文件更改,提供结构化的任务分解、文件修改和序列排序,适用于架构设计、项目管理和AI辅助开发场景。关键词:实现计划、Claude、Gemini、软件开发、AI生成、自动化规划、架构设计、DevOps工具。
OpenAPI设计Skill openapi-design
此技能用于基于OpenAPI 3.1规范进行合同优先的REST API设计,包括定义API契约、遵循最佳实践和实现设计工作流。关键词:OpenAPI, REST API, 设计, 规范, 合同优先。
Zachman分析技能Skill zachman-analysis
这个技能用于应用Zachman框架进行企业架构分析,通过特定行和列视角评估架构覆盖、检查文档完整性,并指导利益相关者输入。关键词:Zachman框架, 企业架构, 视角分析, 架构文档, 利益相关者, 代码提取, 覆盖检查。
分类法架构设计Skill design-taxonomy
这个技能用于设计和实现分类法结构,支持扁平、分层和多维分类模式,适用于内容管理系统、电子商务导航、标签系统和数据建模等场景。关键词:分类法设计、架构模式、内容组织、SEO优化、数据分类。
Lambda演算解释器技能Skill skill-name
这是一个用于实现和理解lambda演算解释器的技能,帮助开发者掌握传值调用和传名调用评估策略,适用于函数式编程学习和实践。
寄存器分配器Skill register-allocator
寄存器分配器是编译器的关键优化组件,用于将虚拟寄存器映射到物理寄存器,提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理,优化编译器后端、JIT编译和GPU着色器。关键词包括:寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。
逐步类型化实现器Skill gradual-typing-implementer
这个技能用于实现逐步类型化系统,将类型检查添加到动态类型语言中,支持代码从动态类型迁移到静态类型,构建混合类型系统如TypeScript、Typed Racket或Pyright。关键词包括:逐步类型化、动态类型、静态类型、类型检查、类型系统、代码迁移、混合类型、类型保证、运行时检查、软件开发工具。
逃逸分析Skill escape-analysis
逃逸分析是一种编译优化技术,用于确定对象是否逃逸其创建方法范围,从而启用栈分配、锁消除和标量替换等优化。关键词:逃逸分析、栈分配、锁消除、标量替换、编译优化、内存管理。
效应系统Skill effect-system
效应系统是一种编程技能,用于在类型级别跟踪和控制程序中的副作用,如输入输出、状态管理和异常处理,提高代码的纯度和安全性,支持优化、功能式编程和软件架构设计。关键词包括:效应系统,副作用跟踪,类型系统,功能式编程,效应处理器,编程语言设计,软件架构。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析,计算指针的指向目标和别名关系,适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词:静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
actor模型实现器Skill actor-model-implementer
这个技能用于实现actor模型,支持并发计算和分布式系统开发,包括创建actors、处理消息传递、管理邮箱和实现行为。关键词包括:actor模型、并发计算、分布式编程、消息传递、容错系统、异步通信、软件架构。
搜索工具优化技能Skill search-hierarchy
这个技能用于优化代码搜索过程,通过根据查询类型(如结构型、语义型、字面型)智能选择最令牌高效的搜索工具(如AST-grep、LEANN、Grep、Read),以提高软件开发效率。关键词:代码搜索、工具选择、令牌效率、结构化搜索、语义搜索、字面搜索、搜索优化、开发工具链。