语言服务器协议（LSP）是一种用于实现集成开发环境（IDE）功能的协议，提供代码自动补全、跳转到定义、悬停文档、重构等智能功能。它基于JSON-RPC，管理文本文档同步和代码分析，广泛应用于Python、TypeScript、Rust、Go等多种语言的开发工具中，提升开发效率和代码质量。关键词：LSP、语言服务器、IDE、代码导航、重构、开发工具。

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

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

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

公共子表达式消除器是一种编译器优化技能，用于识别和消除代码中的重复计算，提高程序性能。适用于编译器构建、代码优化和程序分析，关键词包括编译器优化、代码优化、公共子表达式消除、程序分析。

Confluence 文档技能提供标准化的技术文档模板，包括架构决策记录（ADR）、运行手册、架构文档和知识转移文档，帮助团队创建一致、高质量的文档，提升项目管理和协作效率。关键词：文档模板、ADR、运行手册、架构文档、技术文档、知识管理。

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

简化级联是一种软件设计和架构模式，旨在通过识别一个统一的抽象原则来消除系统中的多个组件或特殊情况，从而减少复杂性和提高代码可维护性。它适用于处理重复实现、特殊情况累积和复杂性增长，帮助开发者实现10倍优化而非小幅改进。关键词：简化级联、软件架构、抽象、复杂性管理、设计模式、软件开发、架构设计。

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

代码库映射技能用于生成结构化代码库地图，帮助分析项目结构、依赖关系和架构模式，适用于探索陌生代码库、文档化和架构决策。关键词：代码库映射、依赖图、文件关系、架构分析、项目文档、代码分析、软件开发、架构设计。

该技能用于创建详细的系统架构计划，包括决策记录和风险评估，适用于规划重要功能或系统变更。它帮助生成一致的架构文档，提供模板和框架，优化设计决策。关键词：架构设计、决策记录、风险评估、系统集成、ADR、架构规划

这个技能用于重构复杂的条件逻辑，通过模仿人类推理模式，如使用早期返回、自然语言变量和清晰的条件评估，以提高代码的可读性、可维护性和决策效率。适用于软件开发中的代码优化和逻辑重构，特别适合前端和后端开发场景。关键词：控制流重构、代码可读性、条件逻辑、早期返回、自然语言变量、TypeScript、软件工程、代码优化、决策逻辑。