在当前会话中执行包含独立任务的实施计划时使用——为每个任务分配新的子智能体，并在任务之间进行代码审查，从而实现带质量检查门的快速迭代
你将成为
适用于以下场景
使用 Puppeteer 脚本，高效地在多种浏览器上测试表单提交。
截取整个网页的屏幕截图，用于视觉回归测试。
分析核心网页指标并通过详细的性能报告优化网站速度。
无需编写复杂的爬虫代码，即可从网站中提取结构化数据。
装备后的数字
经过验证的优势和可衡量的影响
自动化重复的调试任务，节省数小时的手动测试时间。
通过自动化浏览器测试和性能检查，减少手动 QA 的工作量。
无需人工干预，即可监控网站性能和正常运行时间。
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。