架构设计 Skill技能列表
Rust系统架构设计Skill rust-systems-design
Rust系统架构设计是一项专注于使用Rust编程语言进行高性能、内存安全系统开发的技能。它提供专家指导，涵盖内存安全、并发模式、架构设计、错误处理、性能优化等关键词，适用于构建可靠、高效的系统软件、Web服务器、嵌入式系统和库，帮助开发者掌握Rust的惯用实践和生态系统工具，提升软件质量和可维护性。
高级软件工程师Skill senior-software-engineer
全球技能强化高级软件工程最佳实践
代码库研究分析师Skill repo-research-analyst
这个技能用于对代码库进行全面研究分析，包括架构文件检查、GitHub问题模式识别、文档审查、模板发现和代码模式搜索。它帮助用户理解项目结构、约定和最佳实践，便于贡献和开发对齐。关键词：代码库研究、GitHub分析、文档结构、模式识别、软件架构、贡献指南、自动化工具、代码审查。
类型推断引擎Skill type-inference-engine
类型推断引擎是一个专注于编程语言类型系统的专家技能，提供算法W、约束生成与求解、统一化、Hindley-Milner多态性等核心类型推断算法的实现指导与测试。适用于编译器开发、静态分析工具构建和编程语言设计。关键词：类型推断，算法W，Hindley-Milner，统一化，约束求解，编程语言理论，编译器，静态类型。
TLA+规范生成与分析器Skill tla-plus-generator
该技能专注于分布式系统的形式化验证，能够自动生成和分析TLA+规范。它帮助工程师设计可靠的分布式协议，通过模型检查确保系统满足安全性和活性属性。核心功能包括：从协议描述生成TLA+模块、定义系统不变式和时序逻辑属性、配置状态空间探索、执行TLC模型检查以及建立精化映射。适用于分布式算法设计、并发系统验证和协议正确性证明。 关键词: TLA+规范, 分布式系统验证, 模型检查, 形式化方法, PlusCal翻译, 精化映射, 安全属性, 活性属性, TLC模型检查器, 系统建模
RALPH任务完成循环技能Skill ralph
RALPH任务完成循环技能是一个用于确保软件开发任务完全完成并通过验证的持久循环工具。它通过并行执行、自动重试和架构师验证来保证工作质量，适用于复杂任务管理。关键词：任务完成、验证、循环、架构师审核、并行处理、持久性、软件开发、自动化测试、质量保证。
SSA转换库Skill ssa-transformation-library
SSA转换库是一个专注于编译器优化的工具库，提供静态单赋值形式的完整转换与优化解决方案。核心功能包括SSA构造、Phi节点管理、支配树计算、使用-定义链分析以及SSA销毁，支持基于LLVM IR和GCC GIMPLE的编译器开发流程。关键词：SSA转换，编译器优化，静态单赋值，Phi节点，支配树，使用定义链，LLVM IR，GCC GIMPLE。
类型健全性证明助手Skill soundness-proof-assistant
类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理
递推关系求解器Skill recurrence-solver
递推关系求解器是一个专注于算法分析的技能，专门用于求解计算机科学中分治、递归等算法复杂度分析时产生的递推关系。它支持主定理、代入法、递归树、生成函数、Akra-Bazzi等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。
优化正确性验证器Skill optimization-correctness-verifier
这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。
操作语义构建器Skill operational-semantics-builder
该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。
并行外部搜索技能Skill external-context
这个技能用于通过分解查询，并行调用文档专家代理进行外部网络搜索和文档查找，并聚合结果，提供结构化上下文信息。适用于开发者、研究人员和信息检索场景。关键词：并行搜索、文档专家、外部上下文、Web搜索、文档查找、信息聚合、SEO优化。