SuperAPI AI 工具集

verification-skill-forge

通用与其它

查看项目

更新于 10-15 21:09

技能介绍

用途:它本身不做验证,而是编写一个项目本地的 verify-<app> 技能,让从未见过该应用的代理在任务中途冷读该技能,按用户方式驱动真实运行的应用,并在指定提交上采集证据;应用变化后继续维护它。

主要能力:forge detect 判断是新建还是维护模式;scaffold 生成带 FILL: 标记的骨架与 features/ 索引;lint 检查残留占位、缺段、无命令段、Drive 使用坐标、Cleanup 删除证据、记录器副本漂移、坏索引与死锚点,直到 LINT_RESULT: PASS;生成的技能含 Launch(每实例独立端口、数据存储与认证会话)、Doctor(只读检查)、Drive(使用 ARIA 标签、data-* 属性、路由路径等稳定句柄)、Evidence(用 verify_evidence.py record 记录,脚本从 git 读取提交并按 sha256 固定)、Cleanup(按 pid 或端口结束进程,不得删除 .verify/ 下内容)。

使用方式:先定位 SKILL_DIR 与 Python 3.10+ 解释器,再执行 forge detect --root <repo>,按模式进入 Forge 或 Maintain;使用 forge coverage、forge seed 连接 .manifold/ 规划产物,用 forge finding 记录与文档意图矛盾的产品缺陷,用 forge check-maintain 检查文档行为变化而源锚点未变的特性,最后重新 lint 并确认证据路径存在且记录了所驱动的提交。

适用场景与限制:适用于有可运行应用、需要可复现运行证据的仓库;单仓多应用时每个可运行应用生成一个技能。它不是验证器,不生成表征测试或 CI 轨道,也不做规划;证据无法阻止有 shell 的代理手工伪造记录,实际合并到默认分支仍由人负责。报告可用约 80% ASD-STE100 简化技术英语撰写。未提供的收费、价格与平台信息暂未提供。