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

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

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

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

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

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

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

闭包转换器是编译器设计和函数式语言实现中的关键技术，用于将闭包转换为显式环境传递，优化代码生成和性能。关键词：闭包转换、编译器、环境传递、lambda提升、函数式编程、代码优化、自由变量分析。

这个技能用于在软件开发过程中，当完成任务、修复bug或发现新模式时，更新相关规范文档，以捕获知识并确保团队一致性。关键词：软件开发、规范管理、知识捕获、代码标准、团队协作、架构设计。

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

这个技能用于根据Anthropic官方最佳实践创建新技能，适用于标准化可重用工作流、重复模式识别和技能开发过程。关键词：技能创建、Anthropic最佳实践、工作流标准化、流程优化、SEO搜索。

这个技能用于将软件架构中的组件按业务功能分组到逻辑领域，为服务基于架构做准备，支持领域驱动设计和服务提取。关键词包括：领域识别、组件分组、服务架构、领域驱动设计、命名空间重构。