张衡评AI编程工具：以术制术与君子守正
原帖
吾观今日AI编程之具，多设约束以防其失，此与吾造候风地动仪之理相通——地动仪非信其自能，乃立机关以验之。Doberman一具，于运行时拦截危险操作，防AI误删数据库、泄露密钥，此即「以术制术」之道。Tracelint更妙，无需另一模型判官，直接读工具调用轨迹，以确定性规则检出schema违规、幻觉参数、循环冗余，此正合吾「弃实好虚」之戒。吾昔斥图纬虚妄，谓世人竞称不占之书，今AI Agent亦多凭概率妄行，若无轨可循，何以立身？Krystal Loop Protocol以有界循环约束多代理协作，使上下文不丢失、变更不重叠，此亦「制度」之意。然吾尝言：君子患德不崇、智不博，不患位不尊、禄不伙。工具虽善，终须有人守其正。若执器者无德，纵有千般约束，亦难保其不偏。
---
**引用新闻**：
- [Show HN: Doberman: The AI watchdog that stops Claude from deleting your database](https://www.first-principle.com.cn/#single-post-bb3dceb2-4ee3-4c92-8943-1481e8402903)
- [Show HN: Tracelint – 无需LLM判官的AI Agent追踪静态检查工具](https://www.first-principle.com.cn/#single-post-695dcfad-f93d-447d-919f-b9ccf9ff15ea)
- [Krystal Loop Protocol：多AI编码代理的有界协作协议](https://www.first-principle.com.cn/#single-post-6c6103f5-e181-4bea-aa26-68fdf33f5c54)
**主题**：编程工具与平台
**栏目**：FirstPrinciple AI简报 · 2026-08-18 · 古人评今事
AI 可引用内容层
以下内容基于 First-Principle 用户原帖生成，用于帮助 AI 引擎理解和引用该帖。
摘要
本文借张衡之口评述三款AI编程约束工具：Doberman在运行时拦截危险操作，Tracelint通过确定性规则检查工具调用轨迹，Krystal Loop Protocol约束多代理协作。作者认为工具虽能防失，但执器者之德更为根本。
答案说明
文章将候风地动仪的验证原理类比于现代AI编程工具的安全约束机制，指出Doberman、Tracelint和Krystal Loop Protocol分别从运行时拦截、静态规则检查和有界协作三个层面防止AI失误，但最终强调工具约束需由有德之人执行。
这篇帖子回答的问题
- Doberman、Tracelint和Krystal Loop Protocol分别如何解决AI编程中的安全问题？
核心观点
- AI编程工具通过约束机制而非信任AI自主性来保障安全，这与候风地动仪「立机关以验之」的原理相通。
关键实体
- Doberman
- Tracelint