这个技能是关于使用OpenTelemetry作为统一标准，实施监控、日志和追踪，以提供生产系统的性能、错误和行为可见性。关键词：OpenTelemetry, 监控, 日志, 追踪, 可观测性, 生产系统, LGTM堆栈, 结构化日志, 告警, DevOps, 云原生架构。

测试驱动开发（TDD）是一种软件开发实践，通过先编写测试用例来定义需求，然后实现代码使测试通过，最后重构代码以提高质量。它采用RED-GREEN-REFACTOR循环，确保代码可测试、可维护，并提高开发效率和测试覆盖率。关键词：测试驱动开发、TDD、RED-GREEN-REFACTOR、单元测试、自动化测试、代码质量、软件测试、敏捷开发、测试优先。

这是一个自动化测试用例生成技能，专为软件开发项目设计，帮助创建符合标准的测试文件，确保代码覆盖率，提高软件质量。关键词：测试创建、自动化测试、软件测试、测试用例生成、代码覆盖率。

Dialyzer配置技能涉及设置和管理Dialyzer静态分析工具，用于Erlang和Elixir代码的类型检查和静态分析，以识别软件问题如类型错误、不可达代码等。关键词：Dialyzer, Erlang, Elixir, 类型检查, 静态分析, 配置, 测试, 软件开发, CI集成。

文档更新技能是一个自动化工具，专门用于批量更新和修复文档内容。它能够扫描和分析文档，修复路径别名、优化代码示例、修正格式问题，并更新链接，确保文档的准确性和一致性。适用于软件开发项目，提高文档维护效率。关键词：文档更新、路径别名、代码优化、MDX修复、自动化工具。

形状分析是一种软件工程技术，专注于分析堆数据结构的形状，如链表、树和循环，用于程序验证、内存安全检测和优化。关键词：堆数据结构、形状推理、指针分析、内存验证、TVLA框架、分离逻辑。

这是一个通过Rube MCP和Composio工具包实现Google Admin任务自动化的技能，专注于用户管理、组织单位配置、群组操作和域管理，旨在提高工作效率、减少手动错误，并支持SEO关键词如Google Admin、Rube MCP、Composio、自动化、用户管理、组织单位、群组、域管理。

类型检查器生成器是一个用于从形式化类型系统规范生成类型检查器的技能。它支持编程语言设计、编译器实现、静态分析和类型系统验证，适用于构建健全且完整的类型检查工具。关键词：类型检查、编译器、静态分析、编程语言、类型系统、代码生成、软件开发。

这个技能用于通过inference.sh平台实现浏览器自动化，专为AI代理设计，支持网页导航、元素交互、数据提取和自动化测试。核心功能包括网页抓取、表单填写、截图录制和JavaScript执行。关键词包括：浏览器自动化、AI代理、网页抓取、表单填写、截图录制、Playwright、自动化测试、数据提取、web自动化、智能代理浏览。

这个技能用于自动化执行编码子任务，通过自审和质量验证来确保代码符合项目标准和接受标准。适用于软件开发中的自动化测试和质量控制场景，关键词包括：代码执行、自审、质量验证、编码任务、软件开发、自动化测试、DevOps。

此技能用于定义团队之间的接口、合同和通信边界，通过明确的API模式促进团队协作和效率。关键词：团队API、接口设计、通信边界、软件开发、架构模式、团队协作、服务设计。

这个技能用于初始化Elixir/Phoenix插件，在项目中安装自动激活规则到CLAUDE.md文件，支持复杂度检测、面试模式、Iron Laws强制执行和引用自动加载，适用于Web后端开发环境。关键词包括Elixir, Phoenix, 插件初始化, 自动激活, 复杂度检测, CLAUDE.md, 后端开发。