网络测试技能是一套用于全面评估、验证和优化网络性能的专业工具集。它提供带宽测量、负载压力测试、延迟分析、协议一致性验证和混沌工程实验等功能，帮助工程师诊断网络瓶颈、确保服务质量（SLA）并生成详细测试报告。关键词：网络测试、性能基准、负载测试、延迟分析、带宽测量、混沌工程、协议测试、网络诊断。

技能重新加载工具用于在修改技能配置文件或脚本后，无需重启系统即可重新加载技能，确保更改立即生效，适用于技能开发、测试和运维场景，提高效率。关键词：技能重新加载、技能管理、配置文件更新、脚本修改、系统刷新、开发工具。

这是一个用于自动化任务完成后发送邮件通知的技能工具。主要功能包括：SMTP邮件发送、任务状态通知（成功/失败/部分完成等）、项目信息自动提取、环境变量配置管理。适用于AI智能体运行监控、DevOps自动化流程、任务完成提醒等场景。关键词：邮件通知，SMTP，任务监控，自动化提醒，Codex，Claude，AI智能体，DevOps自动化。

Chrome DevTools调试技能允许开发者通过Chrome DevTools协议连接来调试和分析Web应用程序，主要功能包括查看控制台日志、监控网络请求、性能分析以及执行JavaScript代码，特别适用于调试需要认证的会话。

TresJS是一个基于Vue 3的框架，专门用于使用Three.js构建交互式3D场景。它提供声明式组件、组合式函数和后期处理效果，简化前端开发中的3D应用构建过程，适合创建WebGL应用、3D可视化、游戏界面等。关键词：Vue 3, Three.js, 3D场景, 前端开发, TresCanvas, 组合式函数, 响应性, 后期处理, WebGL, 声明式编程

IDAES是一个开源软件框架，用于过程系统工程，专门用于建模、模拟和优化化学过程与能源系统。它支持流程表开发、属性包配置、单元模型设计、优化求解、缩放处理、初始化策略和模型诊断，适用于化工模拟、能源系统分析、发电厂设计、物料能量平衡和过程优化。关键词：IDAES、过程模拟、能源系统、优化、Python、开源软件、化工工程、流程表建模。

此技能用于通过单一命令快速创建uni-app-x项目，包括Vue 3 + TypeScript + Vite设置、配置和模板生成，适用于初始化项目结构、设置开发环境或生成模板的场景。关键词：uni-app-x, TypeScript, Vue 3, 项目创建, 模板生成, HBuilderX, 一键创建, 快速启动。

Context7高效文档获取器是一个智能开发工具，通过shell管道过滤技术实现86.8%的令牌节省，专门用于快速获取JavaScript、Python、Go、Rust等编程语言的库文档、代码示例和API参考。该工具支持React、Next.js、Prisma、Express等主流框架，提供智能过滤、代码示例提取和API签名识别功能，帮助开发者高效学习和使用各种开发库。

文档编写者技能用于高效编写、审查和编辑技术文档，专注于准确性和清晰度，确保文档与代码实现一致，提升用户体验和团队协作。关键词包括技术文档、编写、编辑、软件开发、文档管理、SEO优化。

Lean 定理证明助手是一个基于 Lean 4 形式化验证系统的专业工具，专注于数学定理的形式化证明与验证。它能够将非形式化的数学证明转化为机器可检查的 Lean 代码，利用 Mathlib4 数学库中的已有成果，通过自动化策略辅助用户完成严谨的证明过程。该工具适用于数学研究、计算机科学中的形式化方法验证以及数学教育等领域。 关键词：Lean 4, 定理证明, 形式化验证, 数学形式化, Mathlib4, 证明助手, 自动推理, 策略证明

这个技能使用slurp-ai工具自动化爬取文档网站，将内容编译为markdown文件，优化用于AI代理的上下文注入。适用于需要本地文档副本或AI训练数据的场景，提高数据处理效率。关键词：文档爬虫、markdown转换、AI上下文、网站抓取、自动化脚本、slurp-ai、文档处理。

这个技能提供专注于高质量软件架构和开发的指导，基于清洁架构和领域驱动设计原则。适用于代码编写、架构设计、代码分析等软件开发场景。关键词：软件架构，清洁架构，DDD，代码质量，软件开发，架构设计，代码规范。