这个技能用于使用TLA+形式化规范语言设计和验证分布式系统和并发算法，支持精确设计、早期错误检测、模型检查和文档生成。关键词：TLA+、形式化验证、分布式系统、并发算法、模型检查、系统设计、安全属性、活性属性。

此技能用于设计和规范事件驱动的API，采用AsyncAPI 3.0标准，适用于基于消息的架构如Kafka、RabbitMQ、MQTT和WebSocket。它包括C#实现、事件版本化、协议绑定和文档优先方法，帮助开发人员构建异步通信系统。关键词：AsyncAPI 3.0, 事件驱动API, 消息架构, Kafka, RabbitMQ, C#实现, 事件版本控制, 协议绑定。

这个技能用于解释企业架构（EA）概念，通过提供清晰、实用的说明，帮助开发者和架构师理解和应用相关架构概念，包括如TOGAF、Zachman Framework等具体示例。关键词：企业架构、EA、概念解释、开发者友好、架构设计、TOGAF、Zachman Framework。

该技能用于基于C4模型创建软件架构文档，涵盖系统上下文、容器、组件和代码四个抽象级别，支持架构可视化和文档化。关键词：C4模型、架构设计、文档化、软件架构、可视化、系统上下文图、容器图、组件图。

该技能用于在多站点内容管理系统架构中实现每站点主题、白标和品牌定制，涵盖主题继承、CSS变量层次结构和动态主题切换。关键词包括多站点主题化、白标、品牌定制、CMS、CSS变量、主题切换、前端开发、后端集成。

这个技能用于设计无头CMS架构中的内容交付API，支持多通道内容分发，涵盖REST和GraphQL API模式、内容预览端点、本地化策略、分页过滤、缓存头部和API版本化，关键词包括无头CMS、API设计、内容交付、REST、GraphQL、本地化、缓存、版本控制。

该技能专注于设计 headless CMS 中的内容类型架构，用于定义可重用的内容部分和字段组合，优化跨通道内容交付。关键词：内容建模、headless CMS、内容架构、可重用性、组合模式、API 设计。

这个技能专注于在无头内容管理系统（CMS）中设计和实现内容项之间的关系，涵盖关系类型（如一对一、多对多、自引用和多项式参考）、参考完整性管理、内容选取器字段模式、关系加载策略（急切加载、显式加载和投影），以及API设计（REST模式和GraphQL）。适用于构建内容层次结构、双向链接、处理删除行为和孤儿检测等场景，帮助开发者优化内容管理和API性能。关键SEO关键词：内容关系、headless CMS、API设计、关系建模、参考完整性、内容选取器、加载策略。

这个技能用于优化代码搜索过程，通过根据查询类型（如结构型、语义型、字面型）智能选择最令牌高效的搜索工具（如AST-grep、LEANN、Grep、Read），以提高软件开发效率。关键词：代码搜索、工具选择、令牌效率、结构化搜索、语义搜索、字面搜索、搜索优化、开发工具链。

路由器优先架构是一种软件架构模式，用于通过路由器抽象工具选择，确保在技能调用中优先使用路由器进行路由，以提高效率和一致性。它涉及两层设计：触发层和路由层，支持协同激活以优化工具映射。关键词：路由器优先架构、工具选择抽象、Claude技能、路由逻辑、协同激活、架构设计、软件开发、效率提升。

这个技能用于掌握后端架构模式，如清洁架构、六边形架构和领域驱动设计，帮助设计和重构可维护、可测试、可扩展的系统。适用于系统设计、架构师角色、后端开发等场景，关键词包括架构模式、Clean Architecture、Hexagonal Architecture、DDD、后端架构、可维护性、可测试性、可扩展性。

SimPy是一个基于Python的离散事件模拟框架，用于过程建模、资源管理和事件驱动调度，适用于制造、服务、网络、物流等系统的仿真分析和优化。关键词：离散事件模拟，Python，资源管理，队列分析，系统优化，模拟框架。