代码重构是一种软件开发技能，用于提高代码质量、减少技术债务和改善可维护性，而不改变外部行为。关键方法包括提取函数、替换条件为多态、移除重复代码，适用于代码难以理解、存在重复逻辑、函数过大等场景，提升开发效率和系统稳定性，关键词：代码质量、技术债务、可维护性、重构方法、软件开发。

类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理

此技能用于检测GraphQL架构版本之间的变化，包括重大、非重大和危险变化，帮助团队防止API回归、比较跨分支架构或验证迁移。关键词：GraphQL、架构比较、差异检测、API版本控制、迁移验证、CI/CD集成。

合同定义了并行任务之间的接口。它们通过明确依赖关系，使得安全并发实现成为可能。

严格架构治理技能用于定义和执行软件项目中的严格架构规则，包括代码行数限制、函数数限制、参数数限制、避免默认值和使用接口优先I/O，适用于Python、Golang和.NET。关键词：严格架构、代码治理、软件质量、接口优先、多语言支持、代码规范。

这个技能是关于在Rust编程中实施高质量文档实践的指南。它涵盖了如何使用rustdoc工具编写有效的文档注释、文档函数、类型、特性和模块，包括错误文档、示例和内部文档链接。旨在提升代码的可读性、可维护性和团队协作效率。关键词：Rust文档，rustdoc，代码文档化，软件开发，文档最佳实践。

代码重构是一种软件工程技术，用于改进现有代码的结构和质量，而不改变其外部行为。关键技术包括提取方法、替换条件语句、引入参数对象等，旨在提高代码的可读性、可维护性和可扩展性。适用于清理遗留代码、降低复杂性和提升开发效率。关键词：代码重构、软件工程、代码质量、可维护性、重构技巧。

OpenAPI编写技能用于创建和验证OpenAPI 3.1规范，支持REST API设计，遵循API-first和contract-first开发方法。关键词包括：OpenAPI, API设计, REST API, 规范编写, 验证, 开发实践, 架构设计, 量化交易无关，专注于API文档。

集群协调技能提供多智能体协调指南，用于OpenCode集群工作流，支持任务分解、并行处理、文件保留和代理间通信，适用于复杂软件开发任务，提高效率并减少冲突。关键词：集群协调，多智能体，OpenCode，任务分解，并行处理，软件开发，工作流管理，智能体协作

这个技能用于生成、维护和验证 OpenAPI 3.1 规范，适用于创建 API 文档、生成 SDK 和确保 API 契约合规性。关键词：OpenAPI、API 规范、RESTful API、文档生成、SDK、验证、代码生成、设计优先、代码优先。

这个技能提供 .NET UI 框架选择决策树，帮助开发者根据目标平台、团队技能、UI 复杂性、性能需求和迁移路径等因素，评估 Blazor、MAUI、Uno Platform、WinUI、WPF、WinForms 等框架，以做出最优选择。关键词：.NET, UI 框架, 决策树, Blazor, MAUI, Uno Platform, WinUI, WPF, WinForms, 跨平台, 前端开发, 架构设计, 软件开发

设计模式是软件工程中用于解决常见设计问题的可重用解决方案模板。它提供共享词汇，促进代码的复用、维护和测试，适用于架构设计、代码重构和改善软件质量，如松耦合、单一职责等设计原则。关键词：软件设计、设计模式、架构模式、代码重构、面向对象、设计原则、软件架构、模式选择、代码质量。