4 v1.2.1 更新于 2026-10-29

keelyard MCP Server

为 Claude Code、Codex 和 OpenCode 编程代理提供验证门控、撤销和输出裁剪。

适用客户端

本地客户端

Claude Desktop、Claude Code、Cursor、Cline 等支持本地 MCP 的客户端

本地运行(pypi)

{
  "mcpServers": {
    "keelyard": {
      "command": "uvx",
      "args": [
        "keelyard"
      ]
    }
  }
}

将上方 JSON 加入 MCP 客户端配置(如 Claude Desktop 的 claude_desktop_config.json 或项目的 .mcp.json)即可接入;远程接入按客户端要求填写 URL 与鉴权头。

proof_requirements

把用户需求记录为可检查清单，需最先调用，重复项会被忽略。

proof_check

标记某条需求已验证，并附上具体证据（命令结果或 file:line）。

proof_run_tests

运行测试，phase 指定在修改前（基线）或修改后（门槛要求）。