DOCX文档处理技能用于自动化创建、编辑和分析Word文档，支持跟踪更改、评论管理、格式化操作等。关键词：DOCX处理, Word文档编辑, 跟踪更改, 文档分析, 自动化脚本, XML处理

这个技能用于编写有效的模糊测试 harness，以接收随机输入并调用目标代码进行测试，帮助发现软件漏洞、提高代码覆盖率和提升软件安全性。关键词：模糊测试、harness 编写、软件测试、安全漏洞、代码覆盖、FuzzedDataProvider、libFuzzer、AFL++、cargo-fuzz。

这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。

该技能提供与交互式定理证明器（如Coq、Isabelle、Lean）交互的专家指导，专注于形式化验证、机械化证明和代码提取。关键词：形式化验证，定理证明器，Coq，Isabelle，Lean，机械化证明，证明自动化，代码提取。

此技能为Godot游戏开发提供秘密和彩蛋机制的实现组件，包括输入序列监视、交互阈值触发和秘密持久性管理，方便开发者添加作弊码、隐藏成就等功能，关键词包括Godot、游戏开发、秘密、彩蛋、作弊码、输入序列、持久性。

这个技能用于通过Twilio API实现短信发送、语音通话、WhatsApp消息和用户验证（2FA）等通信功能。涵盖从简单通知到复杂IVR系统和多通道认证的全方位应用。关键考虑包括合规性、速率限制和错误处理，适用于需要集成通信服务的开发项目。关键词：Twilio、短信、语音通话、WhatsApp、用户验证、2FA、IVR、API集成、合规、错误处理、通信服务。

该技能专注于使用p5.js框架、随机种子和粒子系统创建算法艺术，用于生成艺术、探索计算美学和构建互动可视化。关键词包括：算法艺术、生成艺术、p5.js、计算美学、互动可视化、随机种子、粒子系统、生成艺术算法。

该技能用于分析和优化软件系统的性能，包括代码分析、算法复杂性评估、数据库优化、内存管理、缓存策略和系统可扩展性，帮助识别和解决性能瓶颈，提高系统效率和响应速度。关键词：性能优化、代码分析、算法、数据库、内存、缓存、可扩展性、瓶颈识别。

WP区块主题技能专注于WordPress区块主题的开发、配置与调试。核心内容包括theme.json全局设置与样式管理、模板与模板部件创建、模式注册、样式变体应用，以及解决站点编辑器中的样式覆盖、缓存等常见问题。适用于WordPress开发者、主题设计师进行现代区块主题开发与维护。关键词：WordPress区块主题，theme.json配置，模板开发，样式变体，站点编辑器调试，WordPress主题开发。

这项技能涉及对网站图像进行优化，以减少文件大小而不牺牲质量，包括压缩、使用现代格式和响应式技术，以加快加载速度，提升网站性能和用户体验。

移动应用调试是一项专注于解决移动应用特有的平台问题、设备限制和网络条件的技术。它包括iOS和Android平台的调试技巧，以及跨平台问题如React Native和Flutter的调试方法。

这个技能用于通过Rube MCP自动化Recruitee招聘任务，实现工具发现、连接管理和工作流执行，提升招聘效率。关键词：Recruitee自动化，Rube MCP，工具集成，招聘流程自动化，DevOps工具。