该技能用于自动推断循环不变式，以支持程序验证、自动化证明和循环分析。关键词：不变式生成、程序验证、循环分析、自动化、软件测试。

Markdownlint 配置技能用于设置和管理 Markdownlint 的规则和选项，包括规则启用、配置文件、内联注释和样式继承，以帮助开发者确保 Markdown 文档的格式一致性、代码质量和文档标准化。关键词：Markdownlint、配置、规则管理、代码质量、文档格式化、linter、Node.js、样式检查、自动化测试。

本技能提供对 Milan Jovanovic .NET 技术博客内容的搜索和访问，专注于 Clean Architecture、领域驱动设计、CQRS 等软件架构模式，帮助开发者应用已验证的代码示例和指导，适用于 .NET 10 及以上版本的项目优化。关键词：Clean Architecture, DDD, CQRS, .NET, 软件架构, 代码模式, ASP.NET Core, Entity Framework Core。

这个技能用于创建系统组件、行为和算法的形式化规范，支持TLA+、SysML、状态机和UML格式，特别适用于安全关键系统的设计和验证。关键词：形式化规范，系统设计，安全关键系统，TLA+，SysML，状态机，UML。

这个技能用于应用Zachman框架进行企业架构分析，通过特定行和列视角评估架构覆盖、检查文档完整性，并指导利益相关者输入。关键词：Zachman框架, 企业架构, 视角分析, 架构文档, 利益相关者, 代码提取, 覆盖检查。

这个技能提供了在Godot引擎中将单机游戏转换为多玩家游戏的专家指导，涵盖客户端-服务器架构、权威服务器设计、MultiplayerSynchronizer使用、延迟补偿技术（如客户端预测和服务器协调）、输入缓冲和防作弊措施。适用于游戏开发者需要为单机游戏添加多玩家功能的情况，确保游戏体验流畅和安全。关键词：Godot引擎、多玩家游戏、游戏开发、网络编程、延迟处理、防作弊、客户端预测、权威服务器。

这个技能用于设计和实现分类法结构，支持扁平、分层和多维分类模式，适用于内容管理系统、电子商务导航、标签系统和数据建模等场景。关键词：分类法设计、架构模式、内容组织、SEO优化、数据分类。

这个技能是Claude Code的配置和设置管理工具，用于管理设置文件（如settings.json）、权限规则、沙箱配置、环境变量和插件设置，帮助用户配置Claude Code行为、管理权限、设置企业策略和解决配置问题。关键词：配置管理、设置文件、权限设置、沙箱设置、环境变量、Claude Code、配置工具、权限管理、设置审计、VS Code集成。

这个技能用于自动执行基于计划文件的任务，通过复选框跟踪进度并在每个任务后进行验证，确保实施质量。它支持任务路由、并行执行、检查点恢复和集成测试，适用于智能体工作流和自动化开发环境。关键词：计划执行、任务自动化、验证检查、工作流管理、DevOps、智能体开发、代码验证。

该技能专用于通过WebFetch工具高效抓取和转换HexDocs上的Elixir库文档，自动将HTML格式转换为markdown，显著减少令牌使用并提升文档处理效率。适用于软件开发中的文档研究和集成。关键词包括：HexDocs, Elixir, 文档获取, WebFetch, markdown转换, 效率优化, 软件开发。

此技能用于在Phoenix框架中验证上下文边界和依赖关系，通过工具如mix xref分析代码结构，确保良好的软件架构和清晰的模块分离。关键词：Phoenix、Elixir、上下文边界、依赖分析、架构验证、代码审查、软件设计。

这个技能用于通过Rube MCP和Composio工具包自动化Ynab（You Need a Budget）任务，实现预算管理的自动化操作，包括工具发现、连接管理和工作流执行。关键词：Ynab自动化、Rube MCP、Composio、预算管理、工具集成、自动化工作流。