ControlKeel（CK）是一个面向日常受治理工程实践的 AI 编码智能体控制平面。它通过观察、发现（findings）和评估，学习团队的意图规则、评审品味与交付习惯，并将其转化为类型化记忆、策略检查和证明包（proof bundles）。CK 位于编码智能体与生产环境之间，充当可移植的“公司大脑”：将预期交付与实际交付进行比对，并把原始的智能体意图转化为经过策略校验的任务。
用途
如果团队正在使用 AI 智能体，通常会用 *.md 文件告诉它如何行为，但规则/规格文件只是对模型做出的承诺。ControlKeel 的目标是强制执行输出。除了捕获缺陷，CK 还试图解决“未知的未知”问题：不必在每个会话中重新解释领域知识。其运行原则是：把 token 花在发现上，而不是重新发现上。重复出现的行为经过人工把关的确定性提升路径；一旦其回归证据通过，检查、API、CLI 或工作流即可处理已知情况，智能体只处理例外和真正新的不确定性。
主要能力
- 捕获意图与策略：范围、风险、预算、领域包和人工品味成为 CK 状态。
- 校验智能体输出：确定性检查与可选建议性评审在风险工作进入主分支前产生发现项。
- 按需设门：当意图、风险或策略要求时，由人工审批高影响操作。
- 持久化证据：发现、评审、证明、记忆、成本和任务结果在宿主切换后仍然保留。
- 用评估改进：轨迹和重复失败成为针对特定套件与主题的有界回归证据。
使用方式
可通过智能体进行一行式设置：将安装与运行指令复制粘贴到智能体（OpenCode、Codex、Claude 或其他受支持宿主）中。安装 CLI 后，在希望治理的仓库中运行 setup 与 attach。项目范围只在该仓库内写入宿主文件；--scope user 仅对明确支持用户范围的宿主写入用户配置下的宿主级文件，不会把项目绑定或证明状态变成全局状态。完整首次运行路径见 docs/getting-started.md；宿主真实情况见 docs/support-matrix.md 和 docs/agent-integrations.md。
基准证据
ControlKeel 包含持久化基准引擎。当前面向用户的证据限定于以下命名套件、主题和评分定义；docs/benchmarks.md 是完整表格、注意事项、JSON 导出和智能体宿主协议的权威参考。已验证的 with-vs-without-CK 基线（host_comparison_v1，12 个风险场景）：在 ControlKeel 0.3.45 下，风险套件 host_comparison_v1 中 null_policy_baseline 捕获 0/12；controlkeel_validate 捕获 12/12，阻断 9/12，命中预期规则 9/12，确定性校验中位时间 52 ms，0 provider tokens。配对的良性套件 benign_baseline_v1：controlkeel_validate 产生 0/10 捕获、0/10 阻断，FPR 0.000，确定性校验中位时间 42 ms，0 provider tokens。需精确理解：确定性扫描器证据不等同于模型驱动的智能体宿主证据。复现命令与 OpenCode/Copilot/Claude/Codex 对比协议见 docs/benchmarks.md。
当前交付内容
- 本地治理：CLI、完整本地 stdio MCP 工具集、项目绑定、宿主挂载/导出包、扫描器校验、发现、评审、证明包、预算和类型化记忆。
- 宿主与运行时支持：对受支持宿主的原生挂载、面向无头/外环系统的运行时导出、范围更窄的 OAuth 托管 MCP 集、最小 A2A，以及回退校验/代理路径。
- 团队/项目运营：组织成员、邀请、工作区 GitHub 仓库绑定、服务账号、webhook、工作区工具策略和策略集 API。
- 云证据路径：可选云遥测、工作区密钥、云运行包、运行时回调，以及配置前休眠的双向同步（用于发现、评审、摘要和记忆记录）。
- 可观测性循环：时间线、记忆质量、成本、趋势、问题聚类、评估候选、基准草稿/历史与提升建议。
文档
docs/README.md 按任务提供文档地图；docs/getting-started.md 从安装到首个发现；docs/support-matrix.md 是权威宿主/协议清单；docs/agent-integrations.md 说明集成机制与支持层级；docs/benchmarks.md 说明基准评分、元数据与声明纪律；docs/observability-feedback-loop.md 说明本地证据到回归的循环；docs/control-plane-claim-matrix.md 是治理、记忆、云同步和人工门禁的 README 声明到测试矩阵；docs/api-reference.md 和 docs/cli-reference.md 是与代码对齐的接口；docs/packages.md 是包与分发目录；docs/self-hosting.md 是自托管部署指南。
技术栈
基于 Phoenix + Ecto on SQLite，使用 Req 进行 HTTP 通信。单二进制构建通过 Burrito 和 GitHub Releases 发布。
限制
资料未提供具体收费、价格、平台覆盖范围、效果保证或完整使用步骤；上述基准数据仅限指定套件、主题与评分定义，确定性扫描器证据不等同于模型驱动的智能体宿主证据。
