这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。

Cookoff是一种软件开发方法，通过多个团队基于同一设计文档独立制定和执行实施计划，来促进创新和优化。这种方法鼓励多样性和竞争，以找到最佳的实施解决方案。关键词包括：实施计划、设计文档、并行实施、独立计划、创新、优化。

这个技能用于指导高级 Rust 开发模式，包括工作区设计、代码组织策略、生产就绪的 Rust 架构。关键词包括 Rust 工作区、Rust 最佳实践、Cargo 工作区设置、Rust 代码组织、Rust 依赖管理、Rust 测试策略、Rust 项目、可扩展的 Rust、Rust CI 设置。

合同定义了并行任务之间的接口。它们通过明确依赖关系，使得安全并发实现成为可能。

该技能用于在软件开发过程中，系统地记录、查询和复用过往的架构与技术决策。它帮助团队维护决策一致性，避免重复讨论，并为新决策提供历史依据。关键词：架构决策、技术选型、决策记录、知识管理、软件开发流程、决策追溯。

这是一个通用的tree-sitter代码解析技能，涵盖AST解析、查询模式、访问者和语言插件开发，适用于所有tree-sitter项目。

本指南提供了NoSQL数据库模式设计的综合指南，包括MongoDB和DynamoDB的数据建模、反规范化策略、索引优化等，旨在帮助开发者构建高效、可扩展的NoSQL数据库架构。

这个技能用于将Matrix SDK集成到Makepad应用程序中，实现聊天客户端的实时更新、时间线管理、房间操作等功能，基于Robrix和Moly代码库的最佳实践。关键词：Matrix SDK, Makepad, 集成, 聊天客户端, 滑动同步, 时间线, 实时更新, 异步操作, 架构设计

Claude项目清单技能用于生成和管理项目的注释性清单，通过唯一ID和注释跟踪文件、对话线程及关系，支持项目文档、库存管理、对话历史和知识地图构建。关键词：项目清单、文档跟踪、知识管理、Claude工具、SEO优化。

代码重构是一种软件工程技术，用于改进现有代码的结构和质量，而不改变其外部行为。关键技术包括提取方法、替换条件语句、引入参数对象等，旨在提高代码的可读性、可维护性和可扩展性。适用于清理遗留代码、降低复杂性和提升开发效率。关键词：代码重构、软件工程、代码质量、可维护性、重构技巧。

反函数化是一种编程技术，用于将高阶程序转换为第一阶程序，通过将闭包表示为数据结构来实现。常用于编译器构建、优化闭包和序列化函数，提升性能和可维护性。关键词：反函数化、高阶程序、第一阶程序、编译器优化、闭包、程序变换、函数式编程、性能优化。

这个技能用于分析代码库，根据领域驱动设计（DDD）的战略设计原则，识别核心、支持和通用子域，并映射有界上下文。适用于分析领域边界、分类子域、评估域内聚性、检测耦合问题等场景。关键词：DDD，领域驱动设计，子域，有界上下文，战略设计，域分析。