跳转到内容

COGO

带信任信号灯的记忆——外加一台透视模型对你说了什么的守卫。

当你构建软件时——无论亲自动手还是与 AI 智能体协作——你会积累各种「真理」: 「数据库在那台主机上」「这个 bug 是 X 引起的」「我们决定了 Y」。随着 时间推移,它们会腐烂:有些从未被验证过,有些已经过时,有些不过是直觉。 问题在于它们看起来全都同样真实。COGO 是 Escriba 家族的一员,它将这些知识存储为 Markdown 笔记,并为每一条赋予一个由它 自己计算的置信颜色绿色(已验证)、黄色(很可能)、红色(假设)。 颜色从来不由你选择——COGO 根据证据、验证、新鲜度与依赖关系推导出来,因此它 可以审计,也无法说谎。

另一半是 Guard:粘贴任何模型的一轮发言,COGO 就会对照一个包含 108 种操纵 技术的本体对它进行透视,并在模型自相矛盾时向你出示铁证。它是一个单一的 Go 二进制文件(约 12 MB 的 scratch Docker 镜像),同时是 Web 查看器、MCP 服务器和 CLI——MCP 优先、核心确定性,模型只是严格可选的配件。

  • 与 AI 智能体(Claude Code、Cursor、Copilot)一起构建软件的任何人,希望智能体知道哪些项目「真理」可以当作事实信任——哪些在行动之前需要重新核实。
  • 开发者,受够了眼睁睁看着笔记、决定和调试直觉悄然腐烂,三周之后却全都显得同样确定。
  • 与 LLM 聊天的任何人,想要多一双眼睛来防止被推着走——「对人类的越狱」:恐惧、紧迫感、内疚、煤气灯操纵。
  • 自托管者,想要一个不过是卷中一堆 Markdown 文件的记忆:可移植、可 diff,并由每个接入的智能体共享。

计算得出的信任信号灯

绿、黄或红——由证据、验证、新鲜度与依赖关系推导得出,从不手工选择。每种颜色都附带其 color_reason,因此你总能审计缘由。

纯 Markdown 的保险库

保险库是唯一的事实来源:可移植、可 diff,并且比工具本身活得更久。其余一切都是瘦客户端或可重建的缓存。

Guard:反操纵透视仪

手持对手的操作手册阅读模型的每一轮发言——108 种技术,提炼自说服、审讯、谈判、胁迫、情感操纵与修辞,每一种都附带其出处、其在聊天中的特征以及其对策。

对抗煤气灯操纵的铁证

由于 COGO 看得到对话记录,当模型否认自己说过的话时,COGO 会找到它确实说过的那一轮,并把两段引文并排展示。不再是你的一面之词对它的一面之词。

真实性透视

粘贴模型的回答,COGO 会逐句、确定性地透视它:承诺程度(含糊其辞还是断言)、证据(观察到的、转述的、没有)以及可证伪性。缺乏依据的强断言会被标红。

新鲜度衰减

万物皆会过期:一条命令的寿命是 30 天,一项架构决定是 180 天。过时的笔记会自行衰减为黄色再到红色——信号灯始终反映当前状态。

MCP 优先:14 个工具

pack, search, open, capture, verify, archive, restore, remove, stash, recall, reflect, lease, guard, xray. Claude 今天学到的,Cursor 明天就能读到 —— 同一个 vault。

着色的上下文包

pack "<topic>" 将某个主题的笔记组装成一个有序、按置信度着色的上下文块——红色的会被降级,让任何智能体都不会把直觉当事实来行动。

约 12 MB 的可验证二进制

单个静态 Go 二进制(scratch Docker 镜像),同时是 Web 视图、MCP 服务器和 CLI。每个镜像都用 cosign 签名并附带 SLSA provenance:你可以证明它出自本仓库的 CI。

会被重新核对的证据

一条笔记可以引用 GitHub 上的文件(github://owner/repo@main/src/foo.go:42),COGO 会把引用锚定到 blob 的 SHA:上游文件一旦改动,笔记就降为黄色并要求重新验证。而 stashSHA-256 保存工件,因此 verify 会重新计算哈希,而不是信任一条会腐烂的引用。

跨机器的共享记忆

通过 HTTP 上的 MCP 加令牌,多台机器上的多个代理共享同一个 vault。recall 充当游标:把它给你的游标交回去,你只会得到变化的部分。而 lease 在迁移或部署前对资源取得有期限的占用,避免两个代理踩到同一份工作。

内置 GitHub 浏览器

接入一个仓库即可在视图中浏览:既有经典的文件树,也有按可信度着色的图谱视图,显示代码的哪些部分背后有已验证的知识,哪些还在盲飞。

COGO 不是第一个保存你所知内容的工具,甚至也不是第一个对其进行验证的工具。Notion 和 Confluence 允许有人把页面标记为已验证并设定到期日。GitHub 的 Copilot Memory 把事实锚定到代码引用,并对照 当前分支重新核对。若干面向代理的记忆项目也带有 confidence 字段。

不过,有三件事确实是 COGO 独有的:

  • 一个模型被禁止书写的颜色。 别的工具即便有可信度字段,通常也是由 LLM 自己填写的 —— 而且一旦写下就再也不变。COGO 从证据计算它,并在你每次查看时重新计算。
  • 会传播的怀疑。 其他所有系统都是成对解决矛盾,到此为止。一份涵盖 435 篇代理记忆相关研究的综述把这一点列为未解决的问题:“取代是局部的;派生记录不会被重新检查。” COGO 对最弱依赖取 min(),正是这块缺失的拼图。
  • 隔离,而非过滤。 其他系统用验证来把可疑内容对代理藏起来。COGO 会把它交出去,明确标注为假设,并附上不要据此行动的指示 —— 因为藏起来意味着代理不知道自己不知道什么。
安装 COGO 在 GitHub 上查看