此技能专注于设计和实现分布式事务的Saga模式，支持编排和编排两种协调风格。它提供模式指导、最佳实践和实现示例，适用于微服务架构中的事务处理，确保最终一致性。关键词：Saga模式，分布式事务，微服务，编排，编排，补偿事务，错误处理。

这个技能用于为大型、跨会话的软件任务创建结构化的开发文档系统，帮助制定战略计划、跟踪进度和维护上下文。关键词：开发文档、战略规划、任务管理、软件架构、多会话开发。

Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。

该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。

该技能用于编译器优化中的函数内联，通过替换函数调用来提升代码执行效率，减少调用开销，并促进进一步的代码优化，如常量传播和死代码消除。关键词：函数内联、编译器优化、代码优化、性能提升、LLVM、GCC、启发式决策。

这个技能用于在函数式编程中表示和操作具有绑定器的语法，主要应用于证明助手、嵌入式语言和形式化元理论开发。关键词：高阶抽象语法, HOAS, 绑定器, 语法, 函数式编程, 证明助手, 形式化方法, 编程语言理论。

FFI设计技能用于设计和实现外部函数接口，实现不同编程语言之间的代码互操作性。关键功能包括类型映射、调用约定处理、内存管理、回调支持和错误处理。适用于调用C库、系统编程、性能关键互操作等场景。关键词：FFI设计，外部函数接口，语言互操作性，类型安全，内存管理。

数据流分析框架是一个用于实现静态程序分析的通用工具，支持定义Lattice、实现转移函数和求解数据流方程。它适用于编译器优化、bug检测和程序验证，关键词包括：数据流分析、静态分析、编译器、程序验证、Lattice、工作列表算法、软件架构设计。

这个技能是一个计划代理，用于根据对话上下文创建软件实施计划和交接文档。它研究代码库，分析现有功能，并生成详细的任务列表和成功标准，适用于软件开发中的架构设计和项目管理。关键词：计划代理、实施计划、代码库研究、软件开发、架构设计、项目管理、交接文档、技术规划。

数据库设计专家技能专注于设计高效、安全和可维护的数据库模式，包括规范化、索引策略、全文搜索优化和性能优化。适用于桌面应用数据建模、本地化场景和性能调优。关键词：数据库设计，SQLite，模式设计，索引优化，性能提升，FTS，迁移安全。

这个技能用于自动化代码重构，帮助开发者简化代码结构、清理无用代码、处理最近更改的文件，提高代码质量和可维护性。关键词：代码重构、自动化重构、Git操作、简化代码、清理死代码、软件开发工具。

这个技能文档介绍了在Whispering架构中实现服务层的模式，包括使用createTaggedError创建标签化错误、命名空间导出和Result类型进行统一错误处理。适用于软件开发中创建新服务、定义域特定错误和理解服务架构，提升代码可维护性和测试性。关键词：服务层、架构设计、错误处理、TypeScript、Result类型、createTaggedError、命名空间导出、软件开发。