SuperAPI AI 工具集

Skill 广场

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

更新于 10-30 00:12

测试与质量

12,893 个结果

create-formal-verification-skill

该技能用于在代码库中自动选定“出错代价最高、测试覆盖最少”的代码区域,生成一个项目本地的正式验证技能(verify skill),以便后续智能体在改动代码时能对照已验证的性质进行检查。它要求从代码本身而非猜测出发选择目标,并按问题性质选择最合适的验证工具(如模型检查器、证明助手、SMT 验证器等),确保验证忠实于代码、可失败复现、结论保留、范围透明,且可低成本重复运行。最终交付一个带 frontmatter 的项目本地技能,并通过实际注入破坏性改动来证明该技能确实能捕获违规。

测试与质量4 次安装

inspect

Hookdeck Inspect 是一项免费 Webhook 测试 URL 服务,无需注册账号或登录,也无需安装 CLI。用户通过一次普通 HTTP 请求即可创建一个临时 Source,获得接收 Webhook 的 ingest URL 和用于查看请求的 inspect URL。服务会捕获所有发往该 URL 的请求,包括普通 GET 请求,并返回请求头、请求体等信息。用户还可以通过带超时的请求接口等待下一条 Webhook 到达,从而方便地调试第三方平台的回调。该工具目前处于 beta 阶段,API 可能变化。

测试与质量4 次安装

skill-evaluator

skill-evaluator 是一个用于系统评估 Agent Skill 的工具,聚焦激活准确性、指令遵循、结果质量、效率、抗压性与回归风险等维度。它强调以可证伪的二元断言和证据状态(OBSERVED、DERIVED、INFERRED、PROPOSED)进行判断,禁止将未执行或推断结果视为通过。流程包括冻结候选版本、构建测试库、建立基线、执行取证、逐题批判、压力测试、控制方差、门禁改进和盲对比版本,最终输出候选标识、覆盖情况、各维度结果、关键失败、激活误报/漏报、回归变化、方差警告与下一步最小修改目标;未执行行为测试时标记 STRUCTURAL_ONLY。

测试与质量4 次安装