软件开发 Skill技能列表
pytest插件技能Skill pytest-plugins
这个技能专注于Pytest插件生态系统，包括pytest-cov、pytest-mock和自定义插件开发，用于提高Python代码测试的质量、覆盖率和效率。适用于软件开发中的测试阶段，帮助开发者进行专业级的Pytest开发。关键词：Pytest, 插件, 测试, Python, 开发, 代码质量。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
日常编码检查清单Skill daily-coding
这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。
漏洞侦探Skill bug-detective
漏洞侦探是一个系统调试技能，用于调查和解决代码错误、异常和失败。提供结构化调试工作流程、常见错误模式识别、故障排除方法和预防性策略，帮助开发者快速定位和修复软件问题。关键词：调试、错误排查、代码错误、故障排除、系统调试、软件测试、漏洞修复、调试工具、错误模式、Python调试、JavaScript调试、Bash调试。
网页界面指南审查Skill web-design-guidelines
此技能用于自动审查网页 UI 代码，确保其符合 Web 界面指南，包括可访问性检查、设计审计和用户体验优化，提升网站质量，便于 SEO 搜索。关键词：UI 代码审查、Web 界面指南、可访问性检查、设计审计、UX 审查、最佳实践、前端开发。
vitestSkill vitest
Vitest是一个基于Vite的快速单元测试框架，提供Jest兼容API，支持原生ESM、TypeScript和JSX，适用于测试开发、模拟、覆盖率分析和性能优化。关键词包括：Vitest、测试框架、Vite、单元测试、Jest兼容、ESM支持、TypeScript、快速测试。
UnoCSS（原子CSS引擎）Skill unocss
UnoCSS是一个即时原子CSS引擎，用于前端开发中灵活、可扩展的CSS样式管理。它提供了Tailwind CSS的超集功能，支持各种预设、规则和快捷方式，简化CSS编写和配置过程。关键词：原子CSS、CSS框架、前端开发、Tailwind CSS、预设、规则、快捷方式。
Paper搜索工具设置Skill setup
此技能用于协助用户配置 Paper Search MCP 工具，解决常见错误如“paper-search MCP 错误”、“Docker 未找到”、“Docker 未运行”或“paper search 不工作”，提供快速修复步骤，如运行设置命令、安装 Docker、启动 Docker Desktop，并指导如何禁用不需要的功能以预防错误。关键词包括 Paper Search、MCP、Docker、配置、错误处理、工具设置。
调试Skill debug
这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。
深度错误分析Skill break-loop
该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。
代码执行Skill code-execution
这个技能用于自动化执行编码子任务，通过自审和质量验证来确保代码符合项目标准和接受标准。适用于软件开发中的自动化测试和质量控制场景，关键词包括：代码执行、自审、质量验证、编码任务、软件开发、自动化测试、DevOps。