架构设计 Skill技能列表
技能模板Skill template-skill
这是一个技能模板，用于定义和描述特定技能，指定Claude AI应该在何种情况下使用该技能。关键词：技能模板、Claude AI、使用场景、AI技能定义、技能开发、AI应用模板。
MatrixSDK集成技能Skill robius-matrix-integration
这个技能用于将Matrix SDK集成到Makepad应用程序中，实现聊天客户端的实时更新、时间线管理、房间操作等功能，基于Robrix和Moly代码库的最佳实践。关键词：Matrix SDK, Makepad, 集成, 聊天客户端, 滑动同步, 时间线, 实时更新, 异步操作, 架构设计
Robius应用程序架构技能Skill robius-app-architecture
这个技能提供了基于 Robius 框架和 Makepad 构建应用程序的架构模式最佳实践，专注于异步集成、Tokio 运行时、UI 和后台任务通信，适用于开发高效异步处理的生产级跨平台应用。关键词包括：Robius、Makepad、异步架构、Tokio、应用程序设计、跨平台开发、UI 线程、后台任务、SignalToUI、Cx::post_action。
WebAssembly运行时Skill webassembly-runtime
WebAssembly运行时技能专注于实现WebAssembly执行引擎和运行时系统，用于构建WASM运行时、开发语言编译器以输出WASM代码、创建WASM工具如调试器和性能分析器，以及构建服务器less和边缘计算平台。关键词：WebAssembly、运行时、执行引擎、WASM工具、服务器less计算、边缘计算、安全沙箱、WebAssembly系统接口（WASI）、JIT编译、内存管理。
类型检查器生成器Skill type-checker-generator
类型检查器生成器是一个用于从形式化类型系统规范生成类型检查器的技能。它支持编程语言设计、编译器实现、静态分析和类型系统验证，适用于构建健全且完整的类型检查工具。关键词：类型检查、编译器、静态分析、编程语言、类型系统、代码生成、软件开发。
软件事务内存Skill transactional-memory
软件事务内存（STM）是一种并发编程技术，通过事务提供原子性操作，支持可组合的并发抽象，适用于高性能并发系统开发。关键词：软件事务内存、STM、并发编程、原子性、事务、可组合性、性能优化。
Lambda演算解释器技能Skill skill-name
这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。
系统F（多态Lambda演算）Skill system-f
系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。
SSA构造器Skill ssa-constructor
SSA构造器是编译器技术中的关键技能，用于将程序代码转换为静态单赋值（SSA）形式，以支持编译器优化、程序分析和验证。关键词：SSA，编译器，优化，程序分析，静态单赋值，中间表示，支配关系，φ函数。
会话类型检查器Skill session-type-checker
会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
寄存器分配器Skill register-allocator
寄存器分配器是编译器的关键优化组件，用于将虚拟寄存器映射到物理寄存器，提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理，优化编译器后端、JIT编译和GPU着色器。关键词包括：寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。