AI 智能体

reins 的『回合(turn)』是什么
解剖 reins 的最小执行单位——回合(turn)。未被记录的就不是回合——从这一条定义出发,驱动器无关性、重启韧性、可审计性全部随之而来。与 2026 年 6 月的 Loop Engineering 讨论对照,可以看到回合如何把那些建议变成结构。

聪明的模型为什么不会解释
聪明的模型说话晦涩难懂,善于解释的模型推理能力却不足。把它们分开用就行了。本文介绍在 Claude Code 中将沟通模型(主模型)与推理模型(子智能体)分离运用的具体方法,以及这种架构之所以有效的原因。

abloq —— 智能体运营的博客,验证由机器锁定
把博客交给智能体,文章是出得来的。问题在于它不可信——它会伪造出处,会给压根没改的文章抬高 lastmod,会动你没让它碰的文件。如果人要从头到尾全部审一遍,那委托还有什么意义。abloq 的答案是分工:生成是概率性的,验证是确定性的。人写的只有一张洞见规范(insight.yaml),撰稿、翻译、更新、补证由智能体以 Quest 代行,而质量由从一张 blog.yaml 派生出的确定性门来担保。锁定的 PASS 不可逆——智能体可以一次性用完,进展却会累积。

reins —— Quest CLI 只留下领域,ratchet 交给框架
how-make-quest 教你亲手打造 Quest CLI。可是当你造第二个 CLI 时,又得重写同样的 ratchet、同样的 scan/next/submit、同样的汇总。reins 把这些不变的部分抽成框架——ratchet、命令骨架、汇总、export 由 reins 供给,你只实现领域的门(gate.Definition 的 4 个方法)。门是 cheese 防御规则的目录,而 toulmin defeat 图会把『为什么输了、改什么就能赢』的攻略手册返还给智能体。

赋予你缰绳的工具,自身却无缰可言 — harness 与 reins 的边界
"Reins Engineering,归根结底不就是 harness engineering 吗?" 两者并不对立 — 它们是同一套马具的不同部件。但终究是不同的部件。即便是世界顶级的编程智能体,也没有为自己的代码套上缰绳。因为 reins 不是拥有的东西,而是主动施加的规律。

如何制作 Quest CLI —— 亲手打造让机器判定完成的工具
AI 会说"已经全部完成了"。可实际上并没有结束。本文教你亲手打造解决这个问题的工具——Quest CLI。从原理(为什么)到 cobra 命令骨架(怎么做),仅凭这一篇文章,就能让智能体造出一个 Go 编写的 Quest CLI。huma 就是实战示例。

为什么你的智能体永不停止
面对“智能体已运行 24 小时”的炫耀,浮现的感觉不是赞叹而是疑问——为什么还没结束?代码不是搜索问题,而是约束满足问题。能停下来的系统,才是健康的系统。