架构设计 Skill技能列表
Robius应用程序架构技能Skill robius-app-architecture
这个技能提供了基于 Robius 框架和 Makepad 构建应用程序的架构模式最佳实践，专注于异步集成、Tokio 运行时、UI 和后台任务通信，适用于开发高效异步处理的生产级跨平台应用。关键词包括：Robius、Makepad、异步架构、Tokio、应用程序设计、跨平台开发、UI 线程、后台任务、SignalToUI、Cx::post_action。
解决方案设计验证Skill specify-solution
此技能用于创建和验证解决方案设计文档（SDD），聚焦于技术架构设计、接口定义和文档验证，适用于软件开发中的架构设计阶段，关键词包括解决方案设计、架构验证、技术文档、SDD、PRD对齐、组件重叠检测、接口冲突解决。
RALPH任务完成循环技能Skill ralph
RALPH任务完成循环技能是一个用于确保软件开发任务完全完成并通过验证的持久循环工具。它通过并行执行、自动重试和架构师验证来保证工作质量，适用于复杂任务管理。关键词：任务完成、验证、循环、架构师审核、并行处理、持久性、软件开发、自动化测试、质量保证。
简化级联Skill SimplificationCascades
简化级联是一种软件设计技能，旨在通过发现核心洞见来减少代码复杂性和冗余，提高开发效率。它涉及抽象通用模式、统一原则，并消除不必要的组件，适用于当同一概念被多次实现、特殊案例累积或复杂性增加时。关键词：简化、抽象、架构设计、代码重构、复杂性管理、软件开发、设计模式。
错误处理模式Skill error-handling-patterns
这个技能专注于实现健壮的错误处理策略，包括创建自定义错误类、设置错误边界、设计API错误响应格式、实施重试逻辑和错误监控。它帮助开发者构建故障容忍系统，提高软件可靠性和用户体验，适用于软件开发中的错误管理。关键词：错误处理、自定义错误、错误边界、重试策略、错误监控、故障容忍、优雅降级。
PlantUML语法参考Skill plantuml-syntax
这个技能提供 PlantUML 图表的详细语法参考，包括 UML 和非 UML 图表类型，如序列图、类图、活动图、C4 模型、JSON/YAML 可视化等，用于生成准确的图表。适用于软件开发、架构设计、文档编写和系统建模。关键词：PlantUML, UML 图表, 语法参考, 架构图, 软件工具, 图表生成
API设计原则Skill api-design-principles
掌握REST和GraphQL API设计原则，构建直观、可扩展和可维护的API，以取悦开发者。适用于设计新API、审查API规范、建立API设计标准、API版本控制、错误处理、分页过滤等。关键词：REST, GraphQL, API设计, 开发者友好, 可扩展, 可维护, 架构, 后端开发。
操作语义构建器Skill operational-semantics-builder
该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。
优化正确性验证器Skill optimization-correctness-verifier
这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。
递推关系求解器Skill recurrence-solver
递推关系求解器是一个专注于算法分析的技能，专门用于求解计算机科学中分治、递归等算法复杂度分析时产生的递推关系。它支持主定理、代入法、递归树、生成函数、Akra-Bazzi等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。
类型健全性证明助手Skill soundness-proof-assistant
类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理
SSA转换库Skill ssa-transformation-library
SSA转换库是一个专注于编译器优化的工具库，提供静态单赋值形式的完整转换与优化解决方案。核心功能包括SSA构造、Phi节点管理、支配树计算、使用-定义链分析以及SSA销毁，支持基于LLVM IR和GCC GIMPLE的编译器开发流程。关键词：SSA转换，编译器优化，静态单赋值，Phi节点，支配树，使用定义链，LLVM IR，GCC GIMPLE。