AI 资源库 · 已整理 2 项
查看与可验证回执相关的 AI 资讯、工具、Skill、工作流和开源项目。
ayukyo/icode · Auditable, contract-driven AI coding agent powered by ICODE-SKILL — fail-closed workflow gates and independently verifiable evidence.
ICODE Agent 是 ICODE-SKILL 的执行平面，强调可审计执行过程：工具决策、副作用、工作流状态转换、产物与验证回执都会被记录。它采用默认拒绝的守卫策略与人工审批协议，支持检查点与证据驱动恢复，并导出可独立校验的证据包。其目标是：如果运行时无法证明完成，就不得报告完成。
mrnicholasbcarter-code/verdict-core · Fail-closed LLM routing: cheapest qualified model, named drop reasons, receipts.
Verdict 是一个 Python 编写的 LLM 编排与控制平面：输入一个目标和 git 仓库，先由规划模型把目标拆成小型 DAG 工作节点，再从实时网关证据（模型清单、账号、健康状态、冷却和配额）中构建准入模型集合，为每个节点分配最便宜且合格的路由，在配额、限流、超时或空回答等故障发生时进行同节点故障转移与冷却，并在节点验证、集成校验和独立评审后写入带 SHA-256 摘要的运行回执。它强调封闭失败：没有任何合格候选或重试超过上限时以命名原因 FAIL_CLOSED 并结束为 BLOCKED；被丢弃的候选都有具名理由，不透明的 auto/* 引用不作为候选，付费路由在仍有更便宜合格候选时不会被选中。执行层依赖外部工具 OmniRoute（本地 OpenAI 兼容网关）和 Prime Agent（无头编码 Agent CLI），评审使用 ocr CLI。