Keel 发布事件溯源编码 Agent CLI，用可验证契约约束任务完成

dangzitou 在 GitHub 发布 Keel（v0.2.x，MIT 协议），一个把会话建模为 append-only 事件流的编码 Agent CLI，将 done 定义为可验证契约：文件被修改后必须通过 verify 工具，否则以非零退出码结束供 CI 分支。支持任意 OpenAI 兼容端点（DeepSeek、GLM、Kimi、Qwen、OpenAI）及 Anthropic Messages、OpenAI Responses 协议，零运行时依赖，提供 fork、replay、cost 等命令和声明式策略引擎；原文同时说明 bash 不受路径约束、需容器或 VM 实现强隔离。