这个技能使用agent-browser CLI工具为AI代理自动化Web浏览器，通过确定性元素选择实现可靠的web交互自动化，包括表单填写、按钮点击、截图、PDF生成和web scraping。关键词包括：浏览器自动化、AI代理、agent-browser、确定性元素选择、web测试、自动化测试、截图、PDF生成、web scraping。

这是一个用于帮助开发者遵循Java服务类编码约定的技能。它定义了服务类的结构和实现规范，包括使用接口、ServiceImpl类、DTO进行数据传输和事务管理。通过应用指南和最佳实践，提高代码质量和可维护性。关键词：服务类约定、Java、接口、ServiceImpl、DTO、事务管理、编码标准、软件工程、后端开发。

OSS-Fuzz是Google开发的开源项目，为开源软件提供免费的持续模糊测试服务，帮助发现和修复安全漏洞，支持多种编程语言和fuzzing引擎。关键词：模糊测试、开源安全、持续集成、漏洞挖掘、Fuzzing平台、软件测试、自动化测试、DevOps、代码覆盖率、安全漏洞。

规范格式检查器是一个用于防止软件开发中格式漂移的智能工具。它通过验证教学内容是否遵循权威的规范源格式，确保技能、子代理、ADR、PHR和规范等平台模式的一致性。该工具提供自动触发检查、格式对比清单和漂移检测报告，帮助开发团队维护代码规范、文档标准化和格式一致性。关键词：格式检查、规范验证、格式漂移预防、代码规范、文档标准化、一致性检查、开发工具、格式审计、规范源比对、格式合规性。

规范驱动开发（SDD）是一种基于GitHub SpecKit的结构化AI辅助软件开发方法论。它通过7个阶段（宪章、规范、澄清、规划、分析、任务分解、实施）将书面规范转化为可执行代码，强调宪章治理、分阶段工作流和多智能体协调。核心关键词包括：AI辅助开发、规范驱动、多智能体协调、结构化开发、GitHub SpecKit、分阶段工作流、宪章治理、并行执行、软件工程方法论。

SMT 求解器接口技能用于与SMT（Satisfiability Modulo Theories）求解器交互，实现程序正确性验证、约束求解、自动定理证明等功能。关键词：SMT求解器、程序验证、自动推理、Z3、约束编码。

Shopify开发技能用于构建和扩展Shopify电商平台上的应用、主题及API集成。涉及GraphQL/REST API调用、Shopify CLI工作流、Polaris UI组件和Liquid模板语言，支持结账自定义、管理界面扩展、POS零售开发等。关键词包括Shopify开发、电商应用、API集成、主题定制、Shopify CLI、Liquid模板、GraphQL API、电商平台开发。

智能体协作开发框架是一个用于生产就绪软件开发的协作式编程提示框架。它通过结构化指南和协作流程，帮助开发团队在功能启动、代码编写、安全处理、错误管理、注释添加和需求讨论等环节实现高效协作。该框架强调清晰、安全、可维护的代码，并提供冲突解决机制。关键词：协作编程、开发框架、生产就绪、代码规范、安全指南、错误处理、知识共享、软件开发流程。

C++智能指针技能涉及使用unique_ptr、shared_ptr和weak_ptr进行自动内存管理，遵循RAII原则，防止内存泄漏和资源管理错误。适用于C++后端开发、系统编程和游戏开发。关键词：C++智能指针、内存管理、RAII、unique_ptr、shared_ptr、weak_ptr、编程技巧、C++开发。

并行执行模式是指通过使用Task工具并设置`run_in_background: true`来同时启动多个子代理，实现多个任务并发运行，显著减少总执行时间的技能。适用于需要并行处理多个独立任务的场景，如代码审查、安全分析、性能测试等。

这个技能提供Godot游戏引擎中2D物理系统的专家指南，涵盖碰撞检测、触发器、raycasting和物理查询，适用于游戏开发中的碰撞层设置、触发区域实现和视线系统优化。关键词：Godot, 2D物理, 碰撞检测, Area2D, RayCast2D, PhysicsDirectSpaceState2D, 游戏开发, 物理查询

该技能专门用于构建Telegram迷你应用（TWA），这是一种在Telegram内运行的Web应用，提供类似原生的用户体验。技能涵盖Telegram Web App API、TON区块链集成、支付系统、用户认证、病毒式传播机制等，适用于开发游戏、DeFi应用、工具和社交应用。关键词：Telegram迷你应用、TWA、TON区块链、Web3、前端开发、病毒传播、货币化、Telegram Web App。