软件开发 Skill技能列表
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
系统化调试Skill debugging
系统化调试是一种系统性框架，用于在修复前深入调查软件错误的根本原因，确保理解和解决核心问题。它包括四个阶段：根因调查、模式分析、假设测试和实施，旨在提高调试效率、减少随机修复和预防新错误。关键词：调试、根因分析、错误修复、测试、软件工程、系统方法、根因调查、模式分析。
双模拟检查器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、快速测试。
分析开发专家Skill analytics-developer
这个技能专注于iOS移动应用中的分析系统开发，包括添加分析事件、跟踪用户路由路径、维护代码规范，以支持数据驱动的决策和用户体验优化。关键词：iOS分析、移动开发、事件跟踪、路由管理、代码规范、数据监控、用户行为分析。
操作手册故障排除技能Skill runbooks-troubleshooting-guides
这个技能专注于创建和使用操作手册进行故障排除，适用于运维人员快速诊断和解决生产环境问题，如API错误、性能下降和系统故障。它覆盖问题诊断、根因分析、系统调试和操作指南编写，帮助提高运维效率和系统可靠性。关键词：故障排除、操作手册、根因分析、系统调试、运维指南、DevOps、监控、诊断、修复、验证。
libFuzzer模糊测试Skill libfuzzer
libFuzzer 是一个用于C/C++项目的覆盖率引导模糊测试工具，帮助开发者发现软件漏洞和错误。它集成在LLVM工具链中，支持地址消毒剂等工具，适用于快速设置和单核模糊测试。关键词：模糊测试、覆盖率引导、C/C++、漏洞挖掘、软件测试、LLVM、代码安全。
深度错误分析Skill break-loop
该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。