符号执行引擎是一种用于程序分析的技能，主要用于自动化测试生成、bug检测和路径探索。它通过创建符号值、系统化探索路径条件、生成约束并利用SMT求解器来构建测试用例。关键词包括符号执行、测试生成、路径覆盖、bug检测、程序验证、SMT求解、路径探索、约束求解。

这个技能用于验证并发和并行程序的正确性，检测数据竞争和死锁，确保多线程和分布式系统的可靠性。关键词包括并发验证、数据竞争检测、死锁分析、锁协议验证、内存模型推理、软件测试、并发程序安全。

这个技能用于测试技能文件长度验证，包含超过500行的填充内容，旨在验证文件长度限制并触发验证失败。关键词：技能验证、文件长度、测试、验证失败、量化交易、数据统计。

这个技能通过 Puppeteer CLI 脚本实现浏览器自动化，用于截图、性能分析、网络监控、网页抓取、表单自动化等任务，适用于前端测试、自动化调试和网页抓取。关键词：浏览器自动化、Puppeteer、截图、性能分析、网络监控、网页抓取、前端测试。

此技能提供了一套完整的工作流模式，用于通过测试驱动开发（TDD）的红绿重构循环实现任务，管理阶段检查点，处理git提交，并执行验证协议以确保软件开发质量。关键词包括TDD、git、质量保证、工作流、测试覆盖、软件开发流程。

本技能专注于Vitest性能优化，提供快速执行、监视模式和并行化策略的全面指南，帮助开发者提升测试效率和代码质量，关键词包括Vitest、性能优化、测试、TypeScript、快速执行、监视模式、并行化、软件测试、前端开发。

完成前验证是一种软件开发实践，用于确保在声称工作完成、修复或通过之前运行验证命令并确认输出。它强调证据先于断言，避免虚假声明，提高代码质量和团队信任。关键词：验证、测试、构建、诚实性、软件开发、质量保证。

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

验证技能用于自动检查和验证软件规格、代码实现以及项目治理规则的一致性。它涉及完整性、一致性、对齐、覆盖、漂移和法规验证，使用AI代理进行并行检查，确保高质量和合规性。关键词：软件验证、规格检查、漂移检测、AI智能体、质量保证、法规遵从、自动化测试。

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

此技能是关于使用RuboCop进行Ruby代码分析和质量控制，涵盖内置cops配置、自动修正、性能优化和团队协作。关键词：RuboCop, Ruby, 代码检查, 质量保证, 自动化, 软件开发, 测试

该技能用于检查桌面窗口的UI元素树结构，帮助调试UI自动化问题、理解界面布局，并查找正确的元素标识符，适用于自动化测试和应用程序开发，关键词包括UI自动化、调试、元素树、界面结构、桌面应用。