该技能用于基于任务计划实现软件功能和编写代码，包括测试驱动开发(TDD)、质量保证、LSP工具使用、避免硬编码和桩实现等。关键词：代码实现、功能开发、测试创建、软件开发、编程、TDD、LSP、质量保证。

这个技能用于在代码修改后自动执行必要的质量检查命令，包括TypeScript类型检查、Biome代码风格检查和测试运行，以确保代码质量，同时遵循务实开发理念，避免过度检查。关键词：代码检查、质量保证、开发流程、TypeScript、Biome、测试、自动化、DevOps。

此技能用于编写Rust代码的单元测试，确保代码的正确性和可靠性。它指导如何全面测试公共API、处理边缘案例和错误条件，并避免冗余测试，以提高测试覆盖率。关键词：Rust测试、软件测试、代码覆盖率、测试冗余避免。

此技能用于在软件开发过程中，提交代码或创建Pull Request之前自动运行全面的验证流程，包括代码格式化检查、静态分析、构建验证和测试执行，以提升代码质量和减少错误。关键词：代码验证、自动化测试、DevOps、软件测试、代码质量、提交前检查。

该技能指导如何为代码添加控制台输出和日志记录，使错误和状态对AI代理可见，提高调试效率和代理自主性。适用于代理静默失败、调试代理工作流或设置新代码库。关键词：标准输出、日志记录、错误可见性、代理调试、AI代理、软件开发、测试。

该技能用于在软件开发中捕获代码修复后的教训，更新知识库以防止未来错误。它帮助识别根本原因、检查现有知识、决定保存位置并编写简洁规则，适用于测试、DevOps和开发实践。关键词：代码修复、知识管理、错误预防、软件开发、测试、Elixir、最佳实践、自动化记忆。

双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。

死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。

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

这个技能是用于代码审查的智能辅助工具，能够根据上下文自动路由到相应的审查指南，帮助开发者高效、规范地进行代码审查，提升代码质量。关键词：代码审查、智能路由、Pull Request、代码质量、自动化审查、软件开发测试。

测试模式是一种软件测试技能，用于通过依赖注入、测试替身、安全重构等技术有效测试代码。它帮助开发者在没有测试的情况下安全修改代码，添加测试到现有代码，并通过特征化测试理解不熟悉的代码。关键词：测试模式、依赖注入、测试替身、安全重构、特征化测试、软件测试。

代码审查技能用于确保代码质量、安全、性能和可维护性，通过系统化的清单和流程进行自动化审查，提升软件开发的整体水平和团队协作效率。关键词：代码审查、安全审查、性能优化、可维护性、代码质量、软件开发、自动化测试、代码检查。