OOP多态性是面向对象编程的关键技能，用于通过接口、抽象类和运行时类型替换实现多态行为，创建灵活、可扩展的系统。适用于插件架构、策略模式、依赖注入等场景，提升代码可维护性和可测试性。关键词：多态性、接口、抽象类、运行时类型、灵活系统、可扩展设计、插件架构、策略模式、依赖注入。

这是一个用于将 PlantUML 文本代码转换为多种图像格式（如 PNG、SVG、PDF）的工具技能。它支持序列图、类图、组件图等多种 UML 图表类型，并能应用自定义主题和样式进行批量渲染，是软件架构设计、文档生成和可视化建模的得力助手。关键词：PlantUML 渲染，UML 图表生成，软件架构图，技术文档，图表可视化，批量处理。

类型检查器生成器是一个用于从形式化类型系统规范生成类型检查器的技能。它支持编程语言设计、编译器实现、静态分析和类型系统验证，适用于构建健全且完整的类型检查工具。关键词：类型检查、编译器、静态分析、编程语言、类型系统、代码生成、软件开发。

专家级框架，用于设计一致性、可扩展性和开发者友好的 RESTful API，遵循资源优先思维、HTTP 语义和适当的版本控制策略。

专家级框架，用于识别、规划和执行不破坏生产系统的安全重构，包括绞杀榕和平行变更模式。

多区域架构策略是一种用于设计地理冗余系统的方法，旨在确保高可用性和灾难恢复能力。它涉及定义可用性目标、选择架构模式、规划故障转移测试，以应对数据中心故障或区域中断，适用于云计算和软件架构场景。关键词包括：多区域架构、高可用性、故障转移、数据复制、RTO/RPO、主动-主动模式、主动-被动模式、地理冗余规划。

这个技能用于通过分解查询，并行调用文档专家代理进行外部网络搜索和文档查找，并聚合结果，提供结构化上下文信息。适用于开发者、研究人员和信息检索场景。关键词：并行搜索、文档专家、外部上下文、Web搜索、文档查找、信息聚合、SEO优化。

部分求值是一种程序优化技术，用于通过静态计算对程序进行专业化处理。它主要应用于编译器构建、解释器专业化和代码生成，通过绑定时间分析区分静态与动态值，并利用离线或在线方法生成高效的残差程序。关键词：部分求值、程序专业化、编译器、优化、绑定时间分析、代码生成。

此技能用于定义团队之间的接口、合同和通信边界，通过明确的API模式促进团队协作和效率。关键词：团队API、接口设计、通信边界、软件开发、架构模式、团队协作、服务设计。

该技能用于设计事件溯源系统，包括事件存储、投影和版本控制模式，适用于需要完整审计追踪、复杂业务逻辑和事件驱动架构的软件开发场景。关键词：事件溯源、软件架构、微服务、审计追踪、事件驱动、数据持久化。

事件建模技能是一种基于Adam Dymitruk方法论的可视化工具，用于设计和规划事件驱动系统。它涵盖命令、事件、读模型和自动化四种规范，通过泳道图帮助团队在软件开发中进行架构设计、事件驱动架构规划和最佳实践遵循。关键词：事件建模，事件驱动系统，架构设计，泳道图，命令事件模型，系统设计，软件架构，可视化方法，业务过程建模。

软件事务内存（STM）是一种并发编程技术，通过事务提供原子性操作，支持可组合的并发抽象，适用于高性能并发系统开发。关键词：软件事务内存、STM、并发编程、原子性、事务、可组合性、性能优化。