ICODE Agent：可审计的契约驱动 AI 编程代理
ayukyo/icode · Auditable, contract-driven AI coding agent powered by ICODE-SKILL — fail-closed workflow gates and independently verifiable evidence.
ELI5：它是什么，解决什么问题
ICODE Agent 是 ICODE-SKILL 的执行平面，强调可审计执行过程：工具决策、副作用、工作流状态转换、产物与验证回执都会被记录。它采用默认拒绝的守卫策略与人工审批协议，支持检查点与证据驱动恢复，并导出可独立校验的证据包。其目标是：如果运行时无法证明完成，就不得报告完成。
核心能力与快速开始
★ 1 · Python
- 能做什么
- 提供模型工具循环（受限文件/命令工具）、契约驱动的工作流步骤执行、默认拒绝守卫与人工审批协议、副作用回执与歧义动作停止、检查点与证据驱动的恢复、带独立校验器的证据包（icode evidence / verify-pack）、本地审批控制台与双语单项目工作台（仅绑定回环地址）。任务模式下可将 fixture 复制到临时工作区，模型仅能修改该副本，并由 ICODE 独立重跑验收测试而非信任模型声明；可选通过只读 Git 对象查询比较测试工作树投影与指定提交树的内容一致性。
- 适用场景
- 在敏感或需审计的代码仓库中执行 AI 编码任务并保留可验证执行证据；在 CI 或本地工作台中进行契约治理的步骤执行与工作流推进；对模型产出的改动做独立验收测试并生成失败/成功回执；导出可独立校验的证据包供第三方审计；中断后分析或显式恢复未完成工作。
- 项目形态
- 可直接使用的工具
- 部署方式
- 未说明（本地 CLI 与仅回环地址的本地 WebUI；自主执行需显式 --enable-autonomous 服务端能力）
- 主要依赖
- Git、Python 3.11+（支持 3.11/3.12），需要初始化 ICODE-SKILL 子模块（vendor/icode-skill 为固定只读控制平面）；离线检查不需要模型密钥；模型后端需配置（如 openai-compatible 后端），具体端点、凭据、预算与隔离设置未说明。
- 使用限制
- 证据包仅证明内部一致性与已检测到的篡改，不证明代码无缺陷；非锚定的包摘要可被完整持有者替换重签，需外部可信锚定。守卫为应用层策略，无真实内核/容器隔离后端时会如实报告，不称为沙箱。暂停/取消/接管仅在 ICODE 契约步骤边界生效，进行中的模型调用或工具动作不会中途终止。进程内租约仅防止单个 Workbench 进程内重复 worker，不是跨进程或分布式锁。完整的六阶段自主链仍在进行中（仅 plan 已证明）。
- 许可证
- MIT
- 最近推送
- 2026-10-04 06:48
资料检查：2026-10-04 07:00 · 卡片整理：2026-10-04 07:00
卡片由 AI 根据仓库资料整理，未进行安装或运行验证 · 本次更新未完成，保留上次成功内容
职业应用
程序员
作为可审计的 AI 编程代理，在隔离的临时工作区中执行编码任务，独立运行验收测试并生成可独立校验的证据包，用于代码编写、测试与验证工作。
查看内容依据
The fixture is copied to a temporary workspace. The model may edit only that copy, and ICODE runs the acceptance tests again independently instead of trusting the model's claim.
由 AI 根据来源材料整理，未进行安装或运行验证
讨论 0
登录后参与讨论，阅读资讯无需注册。
还没有评论，来分享第一个看法。