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

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

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

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

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

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

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

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

这是一个用于追踪知识和想法历史演变的技能，帮助软件开发者和项目管理者在决策时理解背景，避免重复过去错误，并重新评估旧方法。它通过决策考古、失败尝试分析和复兴检测等技术，支持架构设计和技术选型。关键词：知识谱系、历史追踪、决策考古、Git分析、避免重复错误、复兴旧方法、软件开发实践。

此技能专注于通过使用ESLint、Prettier等工具建立和执行代码标准、最佳实践和架构模式，以提升代码质量和团队协作效率。关键词：代码标准、ESLint、Prettier、代码审查、代码质量、编码最佳实践、架构模式。

静态工作区API是一种基于TypeScript的API，用于定义表格和键值存储的类型安全模式，支持版本化和迁移功能，以管理数据模式的演进和一致性。适用于软件开发中的数据层设计、模式定义和迁移场景。关键词：静态工作区API、表格定义、KV存储、版本迁移、TypeScript、数据模式、软件开发、后端开发、架构设计。

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