这个技能用于企业架构迁移探索，帮助团队分析当前软件架构，识别迁移路径，并评估不同选项的权衡，以支持技术决策。关键词：企业架构、迁移路径、代码分析、权衡分析、决策支持、软件架构。

此技能用于创建和管理架构决策记录（ADRs），帮助团队文档化和跟踪技术选择、设计决策及架构变化。关键词：架构决策记录、ADR管理、技术文档、决策记录、软件开发架构。

这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。

会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。

解析器生成器是一种关键技能，用于从上下文无关语法自动生成解析器，支持LALR(1)和递归下降算法。它广泛应用于编译器开发、领域特定语言设计、配置解析等场景，帮助开发者高效处理结构化文本和数据。关键词：解析器生成，语法分析，编译器构建，LALR解析，递归下降，AST生成。

该技能实现了Rust风格的所有权和借用类型系统，用于验证内存安全、预防数据竞争和生命周期分析。关键词：所有权、借用、内存安全、数据竞争、生命周期、Rust、类型系统、编程语言。

MLIR方言设计技能用于设计MLIR（多级中间表示）的方言和变换，支持编译器开发、IR抽象和多级降低，适用于编译器优化和LLVM生态系统集成，关键词包括MLIR、编译器、方言、变换、LLVM。

无锁数据结构技能专注于设计和实现无需锁机制的高并发数据结构，以提高系统性能和可扩展性。关键词：无锁数据结构，并发编程，高并发，CAS操作，ABA问题，内存安全，无等待算法。

该技能用于实现线性类型系统和线性 lambda 演算，支持资源管理、量子编程、内存验证等应用。关键词包括线性类型、线性 lambda 演算、资源管理、量子计算、内存管理、线性逻辑、类型系统。

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

效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。

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