使用 Playwright 实现完整的浏览器自动化。自动检测开发服务器，将简洁的测试脚本写入 /tmp。测试页面、填写表单、截图、检查响应式设计、验证 UX、测试登录流程、检查链接、自动化任何浏览器任务。当用户想要测试网站、自动化浏览器交互、验证 Web 功能或执行任何基于浏览器的测试时使用。
你将成为
适用于以下场景
在几秒钟内将原始数据转换为专业图表。
快速修改多张幻灯片中的文本、图片和布局。
准备演示文稿的详细演讲者备注和注释。
使用全新主题和版式，重新设计整个演示文稿。
装备后的数字
经过验证的优势和可衡量的影响
与手动操作相比，可节省一半制作演示文稿的时间。
比传统方法快三倍更新和迭代幻灯片。
利用AI驱动的编辑功能，将反馈与修订时间缩短40%。
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。