该技能用于分析Elixir/Phoenix项目中的技术债务，自动化检测重复代码模式、反模式，并提供重构建议，适用于代码审计和质量提升。关键词：技术债务，代码分析，重复代码检测，重构，Elixir，Phoenix，代码审计。

这个技能提供了一套全面的编程规则和最佳实践，旨在通过简化代码复杂性、强制执行严格的编码标准、采用测试驱动开发（TDD）工作流程和原子待办事项跟踪，来提高软件开发的质量和效率。关键词包括：代码简化、TDD工作流程、原子待办事项、架构模式、错误处理、测试哲学、安全要求、质量门、会话管理。

技能编排器是任务管理系统中的核心组件，用于基于任务语言和状态将命令智能路由到相应的工作流。它负责任务查找、状态验证、上下文准备和执行协调，确保多步骤工作流的高效运行。关键词：任务编排、工作流路由、状态管理、上下文加载、智能路由。

这个技能用于生成代码库的语义化符号映射，提供精确的类、函数、接口定义位置，帮助开发者在处理不熟悉代码、重构前快速理解代码结构，避免文本匹配混淆，提高开发效率。关键词：代码分析、符号映射、代码导航、重构工具、软件开发。

该技能专注于分布式系统的形式化验证，能够自动生成和分析TLA+规范。它帮助工程师设计可靠的分布式协议，通过模型检查确保系统满足安全性和活性属性。核心功能包括：从协议描述生成TLA+模块、定义系统不变式和时序逻辑属性、配置状态空间探索、执行TLC模型检查以及建立精化映射。适用于分布式算法设计、并发系统验证和协议正确性证明。 关键词: TLA+规范, 分布式系统验证, 模型检查, 形式化方法, PlusCal翻译, 精化映射, 安全属性, 活性属性, TLC模型检查器, 系统建模

LLVM后端技能是编译器开发中的核心模块，专注于将高级中间表示（IR）转换为高效机器码。它涵盖LLVM IR生成、优化通道配置、目标代码发射和JIT编译集成。关键词：LLVM后端，编译器优化，代码生成，IR转换，JIT编译，交叉编译，性能优化。

循环优化器是一种编译器和性能优化技能，通过循环展开、融合、平铺和向量化等变换，提升程序性能，减少开销，增加并行性，改善缓存局部性。适用于编译优化、数值计算、机器学习、图像处理等场景，关键词包括循环优化、编译器、性能提升、SIMD、缓存优化。

图表生成器是一个多格式图表生成工具，能够从文本描述自动创建Mermaid、PlantUML、D2和Graphviz等多种格式的技术图表。支持流程图、序列图、架构图（C4模型）、数据模型、类图、状态图等可视化图表生成，并提供SVG、PNG、PDF等多种导出格式。适用于软件开发文档、技术架构设计、数据可视化、系统分析等场景，帮助开发者和技术文档编写者快速创建专业的技术图表。关键词：图表生成，Mermaid图表，PlantUML，架构图，流程图，数据可视化，技术文档，软件开发工具，自动图表生成，C4模型

Lua协程技能用于实现协作式多任务处理，涵盖协程创建、挂起和恢复、值传递、生成器、迭代器、异步模式、状态机以及生产者-消费者实现。适用于游戏开发、异步I/O、数据管道等场景，关键词包括Lua、协程、协作式多任务、生成器、迭代器、异步、状态机、生产者-消费者。

这是一个AI模拟的事件风暴工作坊技能，用于在软件开发过程中发现领域事件、命令、参与者和有界上下文。支持全模拟、快速和引导三种模式，帮助团队进行领域驱动设计（DDD）和架构规划。关键词包括事件风暴、DDD、软件架构、AI模拟、领域发现、工作坊、多角色、领域事件。

本技能提供专业Mermaid图表绘制指南，专注于创建兼容GitHub深色/浅色模式的流程图、架构图和数据可视化图表。包含色彩搭配、样式定义、子图处理和常见错误规避，适用于技术文档、系统设计和流程可视化。关键词：Mermaid图表，GitHub兼容，流程图绘制，数据可视化，技术文档，深色模式，浅色模式，架构图，样式指南。

这个技能用于在软件开发和量化交易等场景中，进行深度技术研究，包括源代码分析、文档搜索、替代方案比较，以支持高质量的技术决策。关键词：技术研究、代码分析、架构设计、量化交易、决策支持。