上下文等价性技能用于证明程序在操作语义学、互模拟等技术下的上下文等价性，应用于程序验证、编译器正确性证明、程序转换验证和优化验证等领域。关键词：程序验证、上下文等价性、操作语义学、互模拟、编译器验证、编程语言、形式化方法。

Vitest是一个基于Vite的快速单元测试框架，提供Jest兼容API，支持原生ESM、TypeScript和JSX，适用于测试开发、模拟、覆盖率分析和性能优化。关键词包括：Vitest、测试框架、Vite、单元测试、Jest兼容、ESM支持、TypeScript、快速测试。

此技能专注于分析DWARF调试文件，理解DWARF标准（版本3至5），解析和验证DWARF数据，适用于软件开发中的调试工具链。提供专业知识支持调试信息提取、数据完整性检查和代码交互。关键词：DWARF、调试、分析、标准、验证、解析、软件开发、调试工具。

代码助手是一个基于测试驱动开发的代码实现辅助工具，采用探索、计划、代码、提交的工作流程，帮助开发者高效完成代码任务，提升代码质量。关键词：代码辅助、测试驱动开发、TDD、自动化工作流、技术实现伙伴、软件测试、编程指导。

这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。

这是一个用于端到端测试的完整技能，专门用于测试整个持久化流水线，支持使用Bash脚本、读取和写入工具进行全流程验证。关键词：端到端测试、持久化流水线、测试技能、Bash脚本、软件开发测试。

这个技能用于识别和修复端到端测试中的不稳定性问题，通过多次运行测试、分析失败日志并应用最佳实践来优化测试可靠性。关键词：E2E测试、测试稳定性、Playwright、测试自动化、去抖。

Lighthouse性能审计技能用于通过命令行工具或Node API本地运行Lighthouse审计，解析和解释性能报告，设置性能预算。它主要用于测量网站性能指标（如Largest Contentful Paint、Cumulative Layout Shift）、优化前端加载速度、集成到CI/CD流程中（如GitHub Actions），以实现自动化性能监控和持续改进。关键词：Lighthouse、性能审计、网站性能、CI/CD、性能预算、前端优化、DevOps、测试工具、Web Vitals、自动化测试。

测试驱动开发是一种软件开发实践，用于确保代码质量和行为正确性。通过先写测试、观察失败、实现代码和重构，提高软件的可靠性和可维护性。关键词：测试驱动开发、TDD、软件测试、自动化测试、代码验证、敏捷开发、测试先行。

该技能用于在软件开发过程中，通过请求代码审查来提高代码质量和确保代码符合计划与需求。它涉及调度子代理进行代码评估，提供反馈流程和错误预防。关键词：代码审查、代码质量、软件开发、Git、子代理、反馈、质量保证。

规模游戏是一种测试方法，通过在极端规模（如1000倍增大或减小、瞬时或长达一年）下测试系统，来揭示正常规模下隐藏的根本真相。它用于不确定可扩展性、边缘案例不清晰或验证生产环境架构的场景。关键词包括：极端测试、可扩展性、架构验证、规模游戏、软件开发测试。

系统性调试是一种四阶段的调试框架，用于软件开发和测试中，确保在修复bug前识别根本原因，避免盲目修复，提高调试效率和代码质量。关键词：调试、系统性调试、根因分析、bug修复、测试框架、软件测试。