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

该技能提供了一套系统化的调试方法，用于在软件开发中查找和修复bug，包括根因分析、防御性验证和验证流程，旨在提高调试效率和准确性，减少试错时间。关键词：调试、系统化、bug修复、根因分析、验证、软件开发、测试、高效调试。

此技能用于通过测试驱动开发（TDD）方法，使用RED-GREEN-REFACTOR循环来测试和验证子代理或技能，确保它们在压力下工作并抵抗理性化。关键词包括技能测试、TDD、RED-GREEN-REFACTOR、压力测试、理性化表、基线测试、防弹技能、测试驱动开发、过程文档。

这是一个使用Playwright框架进行本地Web应用自动化测试的技能帮助开发者验证前端功能、调试UI行为、捕获浏览器截图和查看日志提高测试效率和代码质量。关键词：Web应用测试、Playwright、前端测试、UI自动化、本地服务器管理。

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

地址净化器（AddressSanitizer）是一种内存错误检测工具，用于在模糊测试（fuzzing）和其他软件测试中检测缓冲区溢出、使用后释放、内存泄漏等内存安全问题，提高软件安全性和稳定性。关键词：内存错误检测、模糊测试、C/C++、Rust、软件测试、安全漏洞、编译器插装、影子内存、性能优化、故障排除。

这个技能用于确保Rust代码与Python逻辑同步，专注于核心功能（排除UI和登录）。它涉及代码审查、模块映射、逻辑移植和测试更新，以保持跨语言实现的一致性和测试覆盖率。关键词：Rust同步、Python代码移植、测试自动化、软件开发、代码一致性。

这个技能用于通过日志分析、控制台检查和Playwright浏览器自动化来系统化地重现和调查软件bug，包括UI相关问题的可视化重现和错误诊断。关键词：bug重现、日志调查、Playwright、自动化测试、软件调试。

这个技能专注于系统性调试方法，用于识别软件问题的根本原因而非表面症状，采用顺序思考、结构化调查和网络研究来避免循环推理和重复修复。涉及关键词：调试、根本原因分析、错误排查、代码修复、软件测试、系统性思考、故障排除，适用于编程、软件开发和工程领域。

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

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

Dafny验证器是一种用于构建带有形式化证明的验证程序的技能，支持规范编写、自动验证、引理证明和代码生成。关键词：Dafny、形式化验证、程序证明、算法正确性、验证代码、软件测试、质量保证。