任务分解技能用于将软件架构计划转换为独立的实现阶段，支持并行开发、可验证性和增量部署。关键词：任务分解、实现阶段、独立开发、架构设计、项目管理、SEO优化。

这是一个系统架构设计的方法论，包含从项目启动到架构现代化的11个阶段，覆盖了架构决策、模式选择、文档化、数据架构、API设计、安全、可扩展性、可靠性、基础设施部署、可观察性等多个关键领域，旨在帮助架构师设计出高质量、可维护、可扩展的软件系统。

SSA转换库是一个专注于编译器优化的工具库，提供静态单赋值形式的完整转换与优化解决方案。核心功能包括SSA构造、Phi节点管理、支配树计算、使用-定义链分析以及SSA销毁，支持基于LLVM IR和GCC GIMPLE的编译器开发流程。关键词：SSA转换，编译器优化，静态单赋值，Phi节点，支配树，使用定义链，LLVM IR，GCC GIMPLE。

数据库设计技能专注于创建高效、可扩展的数据库系统，包括模式规范化、关系设计、索引策略、查询优化、迁移规划和SQL/NoSQL选择。适用于软件开发和数据工程项目，提升应用性能、数据完整性和可维护性。关键词：数据库设计、模式、索引、查询优化、SQL、NoSQL、迁移、规范化、关系型数据库、NoSQL数据库、数据建模。

WebAssembly运行时技能专注于实现WebAssembly执行引擎和运行时系统，用于构建WASM运行时、开发语言编译器以输出WASM代码、创建WASM工具如调试器和性能分析器，以及构建服务器less和边缘计算平台。关键词：WebAssembly、运行时、执行引擎、WASM工具、服务器less计算、边缘计算、安全沙箱、WebAssembly系统接口（WASI）、JIT编译、内存管理。

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

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

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

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

LLVM后端生成器是一个用于生成LLVM中间表示（IR）和构建编译器后端的技能，广泛应用于编译器开发、代码生成和优化领域。它支持构建新语言编译器、实现语言后端、创建优化管道和生成原生代码，关键功能包括LLVM IR生成、指令选择构建、优化通行证实现和ABI处理。这个技能对于软件架构设计、系统编程和语言工具开发至关重要，便于SEO搜索的关键词有：LLVM、编译器、后端、代码生成、优化、IR、ABI、架构设计、软件工程。

这个技能用于自动生成系统的架构文档，支持arc42和C4模型，可以创建系统上下文图、容器图和组件图，并附带详细的叙述描述。适用于软件架构师、开发人员和项目管理者，提高文档编制效率。关键词：架构文档、arc42、C4模型、软件架构、系统设计、文档生成、自动化工具

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