这个技能用于将网页转换为Markdown格式，特别适合处理JavaScript渲染的页面。它通过本地浏览器自动化工具（Puppeteer）和内容提取库（Readability）实现，可以生成干净的Markdown输出，便于内容管理和分析。关键词：网页转换、Markdown、Puppeteer、Readability、JS渲染、内容提取。

这个技能专注于掌握 Pytest 的 fixture 功能，用于全面的测试设置，包括 conftest 文件、parametrize 装饰器和 fixture 作用域。它涵盖了从基础到高级的概念、模式和最佳实践，适用于 Python 测试开发，关键词包括 Pytest、测试装置、测试设置、Python 测试、自动化测试。

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

这个技能用于自动化Worksnaps任务，通过Rube MCP和Composio的Worksnaps工具包，实现工具发现、连接管理和工作流执行，简化Worksnaps操作流程。关键词：Worksnaps自动化、Rube MCP、Composio、MCP服务器、工具集成、自动化任务、工作流优化、API调用、工具发现。

跨过程分析是一种静态分析技能，用于分析程序中函数或过程之间的交互，实现全程序分析。它涉及构建调用图、执行上下文敏感分析等，常用于安全漏洞检测、编译器优化和bug查找。关键词：跨过程分析、静态分析、程序分析、安全检测、编译器优化。

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

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

这个技能专注于单体仓库（monorepo）环境下的开发工作流程、CI/CD模式、版本管理、发布策略和团队协作实践，提供全面指导和自动化工具配置。关键词：单体仓库、CI/CD、版本控制、工作流程、自动化、DevOps、软件开发。

这个技能用于在 GitHub Actions 中自动化处理 Pull Request 的变基操作，包括获取最新上游更改、解决合并冲突并推送，以确保代码分支与上游同步，优化版本控制流程。关键词：PR 变基, GitHub Actions, Git, 冲突解决, 代码同步, 自动化, 版本控制, CI/CD。

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

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

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