项目概览
它要求编码智能体先界定缺陷、影响范围和必须保持的行为，再建立基线、限制改动边界，并用缺陷转绿与保留行为回放验证补丁。轻量版适合低风险修复，高保障版加入风险等级、文件认领、哈希检查点和可恢复记录；这些控制能约束过程，但不等同于沙箱或语义正确性证明。
仓库事实
- 主要语言
- Python
- 许可证
- MIT
- 仓库更新时间
- 2026年7月10日
- 默认分支
- main
资源类型
通用技能
使用场景
软件开发测试与调试
运行平台
Claude Code、Codex 等
运行方式
本地运行
核心能力
验证与评测
适合人群
开发者