SuperAPI AI 工具集

Skill 广场

找到适合任务的 Agent Skill,阅读介绍并复制安装命令。

更新于 11-02 00:09

测试与质量

13,036 个结果

osaf-foundational

osaf-foundational 是开源无障碍框架(Open Source Accessibility Framework)的“基础阶段”技能,用于在单个代码仓库中落实该阶段的两项行动:创建 ACCESSIBILITY.md 文件,以及使用无障碍标签跟踪相关工作。技能会先检查现状,按行动顺序进行必要修改,逐项对照完成标准(Definition of Done)验证,并把结果交由维护者复审。它不宣称项目因此达到无障碍合规或认证,仅用于推动改进。

测试与质量1 次安装

osaf-testing

osaf-testing 是开源无障碍框架(Open Source Accessibility Framework)的测试阶段技能,用于在单个代码仓库中落实该框架的测试环节。它支持全部六项行动或请求中指定的项:添加自动化无障碍检查、对核心流程做纯键盘冒烟测试、屏幕阅读器抽查、人工无障碍检查、文档无障碍检查,以及记录支持环境与已知限制。技能会先检查现状,再按阶段顺序编辑文件并扩展 ACCESSIBILITY.md。它强调“无证据不测试”:没有运行时证据不得声称已完成人工、键盘、屏幕阅读器或辅助技术测试,静态代码审查或模拟不算测试运行;每项已运行的测试需记录操作系统、浏览器、辅助技术及版本,并区分已运行测试与仍需人工执行的流程。它不提供合规认证,自动工具也无法发现所有障碍。

测试与质量1 次安装

confident-eval-setup

confident-eval-setup 是 Confident AI 提供的技能,用于把一个 LLM 应用配置成可在 Confident AI 平台上评估,整个过程通过 Confident AI MCP 服务器完成,不修改用户的代码库。它的核心是创建一个“AI 连接”:保存调用应用端点的描述,使平台能向应用发送每条 golden 的输入并读回答案;随后用 ping 验证连接是否生效,再上传数据集,并把数据集页面链接交给用户,由用户在页面上自行按下 Evaluate 启动评估。该技能适用于希望团队成员在 Confident AI 仪表盘中评估、对比或红队测试应用的场景,也适用于 AI 连接状态为 inactive,或需要把测试用例上传为数据集的情况。前提是 MCP 服务器已连接到编码智能体,且端点可被外部访问(https:// 或 wss://),localhost 和私有主机不可达。

测试与质量1 次安装

browser-video

browser-video 是一个用于录制网页演示与验证视频的技能。它基于 playwright-cli 的 screencast 能力录制浏览器操作,并通过抽取视频帧来检查录制结果是否正确。该技能强调“脚本运行成功不等于视频正确”,要求每个录制片段使用全新的命名会话、开启操作可视化(指针与操作标注)、在缩放 iframe 中做坐标映射,并在交付前用脚本抽帧拼图核验指针位置、点击目标、叠加层残留和文字可读性。最终默认交付 .mp4 格式。

测试与质量1 次安装

formal-verification

该技能是一份面向形式化验证实践的指导文档,核心是教使用者如何选择合适的形式化方法,以及如何判断一次验证结果究竟证明了什么。内容涵盖:为并发或分布式协议设计做模型检验(默认 TLA+,也涉及 PlusCal、Quint、P、Alloy),为输入空间巨大的小型对抗性单元做有界模型检验(Rust 用 Kani,C 用 CBMC),为解析器、加密、授权、分配器等以正确性为产品的代码使用自动主动验证器(Dafny、Verus、SPARK),以及用 Lean 4 处理数学命题或系统模型。文档强调“陈述即产品”:先用自然语言写出性质并由人签核,冻结陈述后只允许添加证明提示、引理和循环不变式;要求平凡实现必须无法通过规格,模型不得假设自身答案,原子性要与真实系统一致。它还要求先埋入缺陷观察其被抓到,证明关键状态可达,不得静默关闭检查,并至少检查一条活性性质。审计方面要求调用工具自带审计并搜索逃逸口,最后按声明、强度、假设与可信基、与代码的链接、是否见过失败五项报告结果。工具链应装入项目或临时目录并锁定稳定版本、记录版本。适用场景为协议设计、高保证组件和数学证明;限制是工具知识更新快,需查阅实时文档,且资料未提供具体安装命令与代码示例。

测试与质量1 次安装