Guarantee-Based Coding (GBC)

与其指望 AI 更聪明，不如让再笨的 agent 也改不坏你的代码。

English version: docs/en/README.md

GBC 把「这次改动会不会悄悄碰坏别处」从一种担心，变成可以当场验证的事实：你在意的行为被登记成 一条条带测试的保证（guarantee），每次改完一跑——全绿就安心，有红就精确告诉你碰坏了谁、谁在 依赖它。

🚀 快速开始

pipx install guarantee-based-coding
gbc setup        # 打印本地化接线指南：怎么把 MCP / skills 接入你的 agent

装好后 gbc 命令即在 PATH 上。完整上手（安装 → 接入 agent → 冒烟验证）见 docs/zh/quick-start.md。

想让 agent 替你接入？把 docs/zh/onboarding-agent.md 交给它。

🚧 交互式 demo 施工中：旧的演示套件已废弃，新的交互式演示正在筹备。目前请直接读文档上手。

📚 文档

English docs: docs/en/。

核心想法

代码之间的依赖本质上是一组保证。模块 A 依赖模块 B，不是依赖它的实现细节，而是依赖它的某些 行为承诺——返回值的类型、格式、语义。把这些保证从隐含变成显式、可执行、可验证，正确性的判定 就从「AI 觉得自己改对了」变成「所有被依赖的保证仍通过」——一个可机械验证的布尔条件。

GBC 不是另一个要挑战 Cursor / Aider 的 AI 编程助手，而是填补它们在大型项目里缺的一环： 机器可判定的变更边界。它与那些 agent 配合——改前查依赖树，改后必须跑通所有相关保证；也区别 于 CI——CI 是事后的，GBC 是准入制的门禁，错误在落地前就被拦在 agent 的上下文里。

完整概念、架构图、与已有概念（Design by Contract / 测试）的区别，见 核心概念。

当前状态

GBC 目前是一个可用的 Python 分发包（pipx install guarantee-based-coding），自身用 GBC 管理自己的 .gbc/（dogfooding）：

• ✅ 核心保证机制（具名 id、多对一、出生即绿、退休保护、反查）
• ✅ 多语言 executor 配置
• ✅ CLI + MCP 双接口（含意图文档 gbc doc 全进 MCP）
• ✅ 意图文档子系统（gbc doc / web 编辑器）
• ✅ 随包分发的接线指南（gbc setup）与 CLI-only agent 的 skill 包
• ✅ 原子文件写入 + 备份

诚实的局限：保护能力上限 = 测试质量（测试只走 happy path 就是虚假安全感）；依赖需主动登记， 覆盖率随项目增长需持续投入；每次验证真实跑测试，有一定延迟。详见 核心概念 · 局限性。

许可

本项目采用 Apache-2.0 许可证。

联系

如果你对这个方向感兴趣，欢迎 star、issue 或者直接联系我。