Code Contracts 开放格式：用注释给代码写下 Agent 可执行的契约
aronchick · x · 2026-09-21
Code Contracts 是一个新的开放格式，用于在代码旁边以结构化方式声明假设与需求，帮助 Agent 驱动的软件开发更快更准。作者 aronchick 转评时给出了精辟概括：「契约就是软件/意图的 eval」。
核心设计包括：
- 单一指令 @cc 直接写在代码注释中，附带 owner、label（如 security）等元数据和稳定 ID
- 一条契约只表达一项义务，用平实语言描述具体失败情形及必须保持不变的状态，例如「余额不足时支付必须失败且不改动余额」
- 规则与代码共存（colocated），目录级规则可写入 CONTRACTS 文件
理念是：人类审查注意力稀缺，显式契约让人无需读实现即可理解行为，同时为 Agent 提供明确的约束与可验证信号，帮助其发现错误、改进实现。
「编程与Agent」频道最新
- ForgePoint Signal:MCP 原生的美国遗产税法规每日监控服务 — modelcontextprotocol · 2026-09-21
- Memory MCP 开源:给 AI 助手装上 Turso 驱动的持久语义记忆 — modelcontextprotocol · 2026-09-21
- 团队用 GPT-6 控制机械臂抓 LEGO,力道过大掰断夹爪求解 — paigeinsf · 2026-09-21
- 七年工程师:Agent 故障不报错,事故报告从不会以「AI 弄错了」收尾 — ilien-dev · 2026-09-21
- 新 agent 运行时宣称：支持数十亿 agent 集群，沙箱密度提升 10-20 倍 — astralmatrix · 2026-09-21
- KDE 拟推 LLM 准则：可用 AI 但不许披露，被讽像搏击俱乐部 — BLUECOW009 · 2026-09-21