DP状态设计器是一个用于解决复杂算法问题的AI技能，专注于动态规划（DP）方案设计。它能帮助用户识别子问题、定义最优状态参数、推导状态转移方程、并提供空间优化建议（如滚动数组）。核心功能包括算法优化、状态压缩和复杂度分析，适用于编程竞赛、算法面试和软件性能优化等场景。关键词：动态规划，算法设计，状态转移，空间优化，子问题，编程竞赛，复杂度分析。

类型推断引擎是一个专注于编程语言类型系统的专家技能，提供算法W、约束生成与求解、统一化、Hindley-Milner多态性等核心类型推断算法的实现指导与测试。适用于编译器开发、静态分析工具构建和编程语言设计。关键词：类型推断，算法W，Hindley-Milner，统一化，约束求解，编程语言理论，编译器，静态类型。

类型驱动设计是一种利用编程语言的类型系统在编译时强制保证数据正确性和业务逻辑约束的软件开发方法。其核心思想是“使无效状态不可表示”，通过新类型模式、类型状态、幻影类型、标记特征、建造者模式等设计模式，将运行时可能出现的错误提前到编译时发现，从而提高代码的健壮性、安全性和可维护性。关键词：类型驱动设计、编译时验证、新类型模式、类型状态、Rust编程、软件架构、代码健壮性、防止无效状态。

项目知识技能用于加载和理解项目的架构、结构、约定和模式。该技能帮助开发者在开始项目工作、做出架构决策或理解组件连接时，快速掌握项目组织方式。关键词：项目架构、代码结构、开发约定、软件模式、知识管理、开发效率。

系统地重构遗留代码以提高代码的可维护性、可读性和性能，同时保持现有功能。

现有代码库技能，用于分析和维护代码库结构，设置最佳实践和护栏，避免破坏现有代码。

平台迁移计划技能用于创建和执行平台或运行时的迁移计划，帮助高级开发人员设计分阶段迁移策略，评估兼容性、依赖项和停机容忍度，规划验证和回滚路径，确保平滑过渡和风险管理。关键词：平台迁移，运行时迁移，分阶段迁移，迁移计划，兼容性评估，回滚策略，高级开发。

这是一个权威的跨语言清洁代码标准，提供稳定的规则ID（CC-*），用于代码编写、审查、团队标准定义和自动化工具映射，提升软件质量。关键词：清洁代码，代码标准，代码审查，lint，CI，规则ID，软件质量。

此技能用于基于David Heinemeier Hansson（DHH）的哲学进行Ruby on Rails代码审查，识别反模式、JavaScript框架污染和违反Rails约定的行为。提供不妥协的反馈，倡导Rails最佳实践、约定优于配置和单体架构。关键词：Rails代码审查、DHH审查、反模式识别、Rails最佳实践、JavaScript框架污染、架构决策评估。

这个技能用于管理和验证会话状态的迁移，基于 SESSION_ORCHESTRATION.md 文件中的规则进行内部状态转换。它适用于工作阶段更新、错误处理等场景，确保状态转换的正确性。关键词：会话状态管理、状态迁移、内部系统、规则验证、状态机、软件开发。

这个技能用于使用TLA+形式化规范语言设计和验证分布式系统和并发算法，支持精确设计、早期错误检测、模型检查和文档生成。关键词：TLA+、形式化验证、分布式系统、并发算法、模型检查、系统设计、安全属性、活性属性。

此技能用于设计和规范事件驱动的API，采用AsyncAPI 3.0标准，适用于基于消息的架构如Kafka、RabbitMQ、MQTT和WebSocket。它包括C#实现、事件版本化、协议绑定和文档优先方法，帮助开发人员构建异步通信系统。关键词：AsyncAPI 3.0, 事件驱动API, 消息架构, Kafka, RabbitMQ, C#实现, 事件版本控制, 协议绑定。