架构设计 Skill技能列表
图算法选择器Skill graph-algorithm-selector
图算法选择器是一个智能工具，用于根据图论问题的具体约束条件、图结构属性和性能需求，自动推荐最优算法解决方案。该技能支持最短路径、最小生成树、连通性、流网络、匹配和图遍历等核心图算法场景，提供复杂度分析、权衡比较和优化建议，帮助开发者和研究人员高效解决图论相关问题。关键词：图算法选择，最短路径算法，最小生成树，算法复杂度分析，图论问题求解，Dijkstra算法，Bellman-Ford算法，Floyd-Warshall算法，Kruskal算法，Prim算法。
λ演算解释器Skill lambda-calculus-interpreter
本技能用于实现和操作 lambda 演算解释器，支持无类型和简单类型变体，涵盖 β-归约、闭包、评估策略（如按值调用和按名调用）等核心概念。适用于学习功能性编程基础、构建语言解释器、研究编程语言理论。关键词：lambda 演算、解释器、功能性编程、闭包、β-归约、评估策略。
Erlang分布式系统Skill ErlangDistribution
这个技能专注于使用Erlang编程语言构建分布式系统，涵盖节点连接、分布式消息传递、全局名称注册、分布式监控、网络分区处理和容错应用开发。关键词：Erlang、分布式系统、节点连接、容错、BEAM VM、分布式编程、集群、RPC、CAP定理。
严格架构治理Skill strict-architecture
严格架构治理技能用于定义和执行软件项目中的严格架构规则，包括代码行数限制、函数数限制、参数数限制、避免默认值和使用接口优先I/O，适用于Python、Golang和.NET。关键词：严格架构、代码治理、软件质量、接口优先、多语言支持、代码规范。
代码搜索决策指南Skill search-tools
本技能基于搜索工具层次结构，帮助开发者根据代码搜索需求选择最合适的工具，包括语义搜索（如LEANN）、结构搜索（如AST-grep）、文本搜索（如Morph）和字面搜索（如Grep），适用于代码理解、重构和开发效率提升。关键词：代码搜索、语义搜索、AST-grep、Morph、Grep、代码分析、开发工具、架构设计。
SysML建模技能Skill sysml-modeling
这个技能专注于使用系统建模语言（SysML）进行系统工程和复杂系统设计。它包括需求分析、结构建模、行为定义和参数约束，支持基于模型的系统工程（MBSE）。关键词：SysML, 系统工程, 建模, MBSE, 系统设计, PlantUML。
项目上手分析Skill onboard
此技能用于分析现有软件开发项目代码库，检测技术栈，探索结构，并创建初始连续性账本，以帮助开发者快速上手和理解项目，提高开发效率。关键词：代码库分析、项目上手、连续性账本、软件开发、技术栈检测、架构理解、项目管理、代理工具。
图表可视化生成Skill visualize
这个技能用于从自然语言描述自动生成各种图表，如序列图、类图、ER图、流程图、C4图等，使用Mermaid或PlantUML工具。关键词：图表生成、自然语言处理、可视化、软件开发工具、架构设计。
开发原则技能Skill principles
本技能专注于提供软件开发的原则、指南和安全相关指导，特别强调差分编辑和VibeCoder应用，帮助开发者遵循最佳实践、提升代码质量与安全性。关键词：开发原则、指南、安全、差分编辑、VibeCoder、软件开发、代码质量、最佳实践。
TLA+规范生成与分析器Skill tla-plus-generator
该技能专注于分布式系统的形式化验证，能够自动生成和分析TLA+规范。它帮助工程师设计可靠的分布式协议，通过模型检查确保系统满足安全性和活性属性。核心功能包括：从协议描述生成TLA+模块、定义系统不变式和时序逻辑属性、配置状态空间探索、执行TLC模型检查以及建立精化映射。适用于分布式算法设计、并发系统验证和协议正确性证明。 关键词: TLA+规范, 分布式系统验证, 模型检查, 形式化方法, PlusCal翻译, 精化映射, 安全属性, 活性属性, TLC模型检查器, 系统建模
知识架构Skill knowledge-architecture
知识架构技能用于设计和管理知识系统，通过本体论原理按事物的本质属性组织信息，而不是基于传统分类。它适用于个人知识库构建、文档系统设计、跨域链接模式创建，以及复杂领域的信息组织，旨在提升知识的可访问性、连接性和理解效率。关键词包括知识管理、本体论、信息架构、组织原则、知识系统、文档设计。
代码重构Skill code-refactoring
代码重构是一种软件工程技术，用于改进现有代码的结构和质量，而不改变其外部行为。关键技术包括提取方法、替换条件语句、引入参数对象等，旨在提高代码的可读性、可维护性和可扩展性。适用于清理遗留代码、降低复杂性和提升开发效率。关键词：代码重构、软件工程、代码质量、可维护性、重构技巧。