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

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

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

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

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

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

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

这个技能专注于在并行代理代码实现中管理类型合约，通过自动化工具如TypeScript编译器（tsc）和grep命令，确保代码类型的一致性，防止重复定义，提高开发效率。关键词：类型管理、代码验证、并行代理、软件开发、自动化工具、类型安全、代码质量、快速失败机制。

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

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

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

技术蓝图写作技能用于创建和更新技术蓝图文档，涵盖新功能、API更改和架构修改。它强调先搜索现有文档以避免重复，并以结构化方式编写，确保准确性和一致性。关键词：技术文档、蓝图、架构设计、API文档、软件开发、文档编写。