代理管理器技能是一款用于管理多个本地命令行界面代理的工具，通过 tmux 会话实现并行运行、启动、停止、监控、分配任务和 cron 调度，提升开发运维自动化效率，适用于 CLI 代理管理、任务调度和日志监控场景。

这个技能是用于自动化创建和提交GitHub拉取请求的流程，涉及分支管理、代码推送、PR提交和英文标题描述编写，确保遵循最佳实践和commit message规范。关键词：GitHub、拉取请求、分支管理、代码审查、DevOps、gh命令、自动化流程。

API设计审查员技能专注于REST API设计的综合分析和审查，包括自动化linting、破坏性变更检测和设计评分卡，以确保API的一致性、文档完整性和安全性。

Chrome本地AI提示API开发指南，详细介绍如何在浏览器中利用Gemini Nano模型实现AI功能，包括会话管理、多模态输入处理、结构化JSON输出、流式响应和Chrome扩展集成。该技能专注于前端AI应用开发，提供完整的本地化AI解决方案，无需依赖云端服务，保障数据隐私和安全。关键词：Chrome AI API，Gemini Nano，本地AI，浏览器AI，多模态输入，结构化输出，会话管理，前端AI开发，隐私保护AI

HTTP客户端工具是一个用于发送HTTP请求的实用程序，支持GET、POST、PUT、DELETE等多种请求方法，并具备请求头设置、身份验证、JSON数据处理和文件上传等完整功能。该工具基于Python的requests库开发，适用于API测试、接口调试、数据获取和自动化脚本等场景。关键词：HTTP客户端，API测试工具，Python requests库，接口调试，REST API调用，自动化测试，网络请求工具。

GitOps技能用于在Kubernetes上实现持续交付，通过使用ArgoCD或Flux工具，以Git作为单一事实来源，实现自动部署、漂移检测、多集群管理和渐进式发布。关键词包括GitOps、Kubernetes、ArgoCD、Flux、持续交付、DevOps、云计算、自动化部署。

Makepad Splash 是 Makepad 的动态脚本语言，专为 AI 辅助工作流、动态 UI 生成、快速原型设计、HTTP 请求和异步操作而设计。关键词：Splash 脚本，Makepad，动态 UI，AI 工作流，脚本自动化，低代码开发，前端开发，AI 应用。

前端可访问性技能涉及使用语义化HTML、ARIA、键盘导航和屏幕阅读器支持来构建符合WCAG标准的可访问Web应用程序，确保所有用户都能获得包容性的体验。

该技能用于辅助开发者编写规范的Git提交信息、创建原子提交并遵循Git最佳实践。核心功能包括分析代码变更、生成符合Conventional Commits标准的提交信息、确保提交的原子性，并提供安全的Git操作指导。适用于版本控制、代码管理、团队协作等场景，提升提交日志的可读性和可维护性。关键词：Git提交、版本控制、原子提交、Conventional Commits、代码管理、开发工作流、提交规范、团队协作、DevOps工具。

本技能涉及实现健壮的批量处理系统，用于处理大数据集、计划任务、异步操作和资源密集型计算。

平台工程是设计和实施内部开发者平台（IDP）的技能，专注于通过自服务基础设施、黄金路径和开发者体验优化，提升开发团队生产力和效率。关键词：平台工程、内部开发者平台、IDP、DevOps、自服务、黄金路径、开发者体验、平台即产品、CI/CD、GitOps。

Coq证明助手是一个交互式定理证明工具，专门用于形式化验证、程序正确性证明和数学理论的形式化开发。它支持依赖类型，通过战术证明实现交互式证明，适用于软件验证、编译器验证和数学定理证明等领域。关键词：Coq、证明助手、形式化验证、程序正确性、数学证明、依赖类型、战术证明、交互式证明。