依赖类型实现器是一个高级技能，用于实现依赖类型理论的核心组件，如Π类型和Σ类型。它支持类型检查、转换和证明细化，适用于构建证明辅助工具、形式化数学和验证编程。关键词包括依赖类型、类型系统、证明辅助工具、Coq、Agda、Idris、类型理论、形式化验证。

数据流分析框架是一个用于实现静态程序分析的通用工具，支持定义Lattice、实现转移函数和求解数据流方程。它适用于编译器优化、bug检测和程序验证，关键词包括：数据流分析、静态分析、编译器、程序验证、Lattice、工作列表算法、软件架构设计。

控制流分析是一种程序静态分析技能，用于通过构建控制流图来理解程序的执行路径、检测循环和分支，支持编译器优化、错误检测和安全分析。关键词：控制流分析，CFG，静态分析，编译器优化，程序理解，可达性分析。

Python资源管理技能专注于使用上下文管理器、清理模式和流处理技术来高效管理资源，如数据库连接、文件句柄和网络套接字，确保即使在异常情况下也能可靠释放。适用于后端开发、DevOps、架构设计等场景，提高代码的健壮性和可维护性。关键词：Python, 资源管理, 上下文管理器, 清理模式, 流处理, 异常处理, 数据库连接, 文件处理, 自动清理。

公共子表达式消除器是一种编译器优化技能，用于识别和消除代码中的重复计算，提高程序性能。适用于编译器构建、代码优化和程序分析，关键词包括编译器优化、代码优化、公共子表达式消除、程序分析。

这个技能用于实现actor模型，支持并发计算和分布式系统开发，包括创建actors、处理消息传递、管理邮箱和实现行为。关键词包括：actor模型、并发计算、分布式编程、消息传递、容错系统、异步通信、软件架构。

此技能用于自动审查网页 UI 代码，确保其符合 Web 界面指南，包括可访问性检查、设计审计和用户体验优化，提升网站质量，便于 SEO 搜索。关键词：UI 代码审查、Web 界面指南、可访问性检查、设计审计、UX 审查、最佳实践、前端开发。

这是一个自动化版本管理的技能，通过读取Git历史记录、生成变更日志、自动升级版本号（如补丁、次要、主要）和准备发布，简化软件发布流程，无需手动操作。关键词：发布管理器、版本管理、自动化发布、变更日志、Git、DevOps工具、CI/CD集成。

这个技能涉及通过条件编译和代码修补技术来绕过模糊测试中的障碍，如校验和验证、全局状态和复杂检查，以提高软件测试覆盖率和发现潜在漏洞。适用于软件开发中的模糊测试场景，帮助开发者和测试人员更有效地进行安全测试和缺陷检测。关键词：模糊测试，障碍克服，代码修补，条件编译，软件测试，覆盖率提升，安全漏洞发现。

这个技能用于配置Python项目使用现代工具链，包括uv进行依赖管理、ruff进行代码检查和格式化、ty进行类型检查等。适用于创建新项目、设置开发工具、编写脚本以及从传统工具如pip、Poetry迁移。关键词：Python开发, 项目配置, uv工具, ruff代码检查, ty类型检查, 最佳实践。

此技能专注于MongoDB数据库的CRUD（创建、读取、更新、删除）操作，包括文档插入、查询、更新和删除。学习BSON格式、ObjectId、数据类型及基本操作，适用于后端开发、数据存储和NoSQL数据库应用。关键词：MongoDB, CRUD, 数据库, NoSQL, 后端开发, 数据操作, 文档管理

这个技能使代理能够创建和编辑 Obsidian 风味 Markdown，支持所有 Obsidian 特定语法如 wikilinks、callouts、properties 等，适用于处理 .md 文件和 Obsidian 笔记，关键词包括 Obsidian、Markdown、编辑、创建、语法扩展、wikilinks、callouts、properties、SEO。