@autodevjapan/godd-mcp-alpha 1.41.0 → 1.46.0

package/README.md

@@ -10,7 +10,26 @@
 
 ## English
 
-AI prompt delivery system for MCP-compatible clients (Cursor IDE, Claude Code CLI). Delivers project-optimized prompts, mindsets, and agent definitions via MCP (Model Context Protocol). The server is client-agnostic — the same `serve` command works with any MCP host. Verified on Cursor IDE and Claude Code CLI.
+AI prompt delivery system for MCP-compatible clients (Cursor IDE, Claude Code CLI, Codex, Kimi CLI, and Google Antigravity IDE). Delivers project-optimized prompts, mindsets, and agent definitions via MCP (Model Context Protocol). The server is client-agnostic — the same `serve` command works with any MCP host. Cursor, Claude Code, Codex, Kimi CLI, and Antigravity are officially supported.
+
+The npm package remains the primary distribution entry point. `godd-a serve` runs the Rust-native MCP runtime; Node.js is retained for npm lifecycle tasks, native binary installation, and compatibility CLI commands.
+The `config`, `questions`, and `scratchpad` tools invoke the existing Node.js handler only for the duration of that call to preserve diagnostic and storage compatibility; the MCP server itself remains Rust-native.
+
+For a self-hosted provider gateway, set `GODD_PROVIDER_GATEWAY_URL` and run
+`godd-a gateway doctor`. The Rust runtime validates the URL, probes
+`/health/readiness` with a three-second timeout, and reports the
+`direct-registry` fallback without printing provider credentials. Use
+`--no-probe` to validate configuration without network access.
+
+Plan interruptions, resumptions, and deviations can be recorded by the Rust runtime with
+`godd-a plan audit record` and verified before resume with
+`godd-a plan audit verify`. Set `GODD_PLAN_AUDIT_KEY` to at least 32 bytes.
+Free-form notes are not accepted, and the key is never written.
+
+An experimental Rust domain contract can validate explicit `provider:model` routes for
+OpenAI-compatible providers. It does not start an HTTP proxy, read secret values, issue
+virtual keys, or change the MCP runtime. See
+`documents/spec/multi-provider-gateway.md` in the source repository.
 
 ### Installation
 
@@ -21,9 +40,12 @@ npm install -g @autodevjapan/godd-mcp-alpha
 ### Setup (Recommended)
 
 ```bash
-# Register the MCP server with Cursor IDE (auto-generates mcp.json)
+# Auto-detect installed MCP clients and register the server with each of them
 godd-a install --license-key=YOUR_LICENSE_KEY
 
+# Or target a specific client: cursor / claude-code / codex / kimi / antigravity / all
+godd-a install --client=cursor --license-key=YOUR_LICENSE_KEY
+
 # Auto-generate project config.godd (interactive)
 godd-a init
 
@@ -36,7 +58,7 @@ godd-a init --auto
 
 ### Manual mcp.json Configuration
 
-If `godd-a install` is unavailable, you can edit `~/.cursor/mcp.json` directly.
+If `godd-a install` is unavailable, you can edit the client's config file directly — `~/.cursor/mcp.json` for Cursor, `~/.gemini/antigravity/mcp_config.json` for Antigravity (both use the well-known `{"mcpServers": {...}}` format). When no known client is detected, `godd-a install` prints this same snippet for manual setup.
 **The `serve` argument is required.** Without it, the installer mode starts and MCP communication breaks.
 
 ```json
@@ -63,7 +85,7 @@ godd-a install --client=claude-code --license-key=YOUR_LICENSE_KEY
 
 This delegates registration to `claude mcp add-json` at **user scope** (`~/.claude.json`), so it merges safely alongside your other MCP servers and is re-runnable (an existing entry is refreshed). When the `claude` CLI is not on your PATH, the installer prints the exact command to run by hand instead.
 
-Without `--client`, `godd-a install` targets Cursor (`~/.cursor/mcp.json`) as before. The startup command, args, and env are identical across clients, and the license device binding is per-device — the same key works across Cursor and Claude Code CLI on the same machine.
+Without `--client`, `godd-a install` auto-detects locally installed clients and registers with all of them (if none is detected, it prints a generic `mcpServers` snippet for manual setup). The startup command, args, and env are identical across clients, and the license device binding is per-device.
 
 <details>
 <summary>Manual registration (if you prefer not to use <code>godd-a install</code>)</summary>
@@ -77,13 +99,45 @@ claude mcp add godd-a \
 Or add a project-root `.mcp.json` with the same `mcpServers` structure shown above (the `serve` argument is required).
 </details>
 
+### Codex Setup
+
+Register through Codex's official MCP CLI. Codex CLI, the IDE extension, and the app share this MCP configuration:
+
+```bash
+godd-a install --client=codex --license-key=YOUR_LICENSE_KEY
+```
+
+Verify with `codex mcp list` or `/mcp`. Remove it with `godd-a uninstall --client=codex`.
+
+### Kimi CLI Setup
+
+Register through Kimi CLI's official MCP command:
+
+```bash
+godd-a install --client=kimi --license-key=YOUR_LICENSE_KEY
+```
+
+This delegates registration to `kimi mcp add --transport stdio` (environment variables are passed with `-e KEY=VALUE`). When the `kimi` CLI is not on your PATH, the installer prints the exact command to run by hand. Verify with `/mcp` inside a Kimi CLI session. Remove it with `godd-a uninstall --client=kimi`.
+
+### Antigravity Setup
+
+Register into Google Antigravity IDE's MCP config file:
+
+```bash
+godd-a install --client=antigravity --license-key=YOUR_LICENSE_KEY
+```
+
+This merges the well-known `{"mcpServers": {...}}` entry into `~/.gemini/antigravity/mcp_config.json` without touching other server entries. Remove it with `godd-a uninstall --client=antigravity`.
+
 ### Usage
 
-After installation, restart your MCP client (Cursor IDE or Claude Code CLI) and the GoDD MCP α server will start automatically.
+After installation, restart your MCP client (Cursor IDE, Claude Code CLI, Codex, Kimi CLI, or Antigravity) and the GoDD MCP α server will start automatically. There are three ways to invoke GoDD tools:
 
-**Option 1 — Slash command (recommended):** Type `/` in the Cursor chat input to see GoDD prompts in the dropdown, then select one (e.g., `/dev`, `/review`).
+**Option 1 — Your client's native UI:** Use whatever your client surfaces for MCP prompts/tools — for example, in Cursor type `/` in the chat input and pick a GoDD prompt from the dropdown (`/dev`, `/review`), or in Agent mode ask in plain language ("run dev", "do a review") and the AI calls the matching tool.
 
-**Option 2 — Natural language in Agent mode:** In Cursor's Agent mode, you can ask the AI in plain language (e.g., "run dev", "do a review") and the AI will automatically detect and call the appropriate GoDD tool.
+**Option 2 — Native slash commands (generated at install):** `godd-a install` writes `godd-a-<tool>.md` command files into clients that support user-defined commands — Cursor (`~/.cursor/commands/`), Claude Code (`~/.claude/commands/`), Codex (`$CODEX_HOME/prompts` or `~/.codex/prompts/`, loaded at session start), and Antigravity (`~/.gemini/antigravity/workflows/` — community-sourced location, not yet officially confirmed). Invoke them as `/godd-a-dev`, `/godd-a-review`, etc. — client command names cannot contain `/` or `:`, hence the dash form. Kimi CLI has no custom slash-command support, so no files are generated for it.
+
+**Option 3 — Text dispatch via the `run` tool:** Type `/godd-a/dev <args>` as plain text in the chat. The always-loaded dispatch rules (the AGENTS.md GoDD block and `.cursor/rules/godd-stack.mdc`, regenerated by the `config` tool (via chat) or `godd-a init`) instruct the AI to pass the full text to the GoDD MCP `run` tool, which parses every notation — `/godd-a/<tool>`, `godd-a/<tool>`, `/godd-a:<tool>`, `/godd-a_<tool>`, `mcp__godd-a__<tool>`, or a bare `/<tool>` — and runs the matching tool.
 
 ### Token Efficiency
 
@@ -96,9 +150,16 @@ GoDD MCP delivers prompts **on demand** — only the prompt you call is sent to
 
 Use `/metrics` at any time during a session to see your actual token usage and estimated savings. Savings are measured empirically via benchmarks comparing GoDD-guided vs. unguided Cursor sessions.
 
+The optional `quality_evidence` JSON argument also produces a reproducible
+assessment of excessive output, execution completion, and design integrity.
+Missing evidence is reported as `INCONCLUSIVE`, not guessed as a failure.
+The optional `learning_evidence` accepts numeric and boolean aggregates only,
+and deterministically assesses learning outcomes and claim grounding. Empty or
+incomplete evidence is `INCONCLUSIVE`; do not include raw text or secrets.
+
 ### GoDD Token Killer (godd-tk)
 
-**Bundled CLI proxy for 60-90% additional token savings on command output.**
+**Bundled CLI proxy for additional token savings on command output — measured 88.1% weighted-average est. reduction on the bundled benchmark (0–94% by command shape).**
 
 godd-tk intercepts shell commands executed by AI agents and compresses their output before it reaches the LLM. It is automatically installed alongside GoDD MCP via `npm postinstall`.
 
@@ -109,18 +170,25 @@ AI Agent → Shell("git status") → godd-tk → compressed output → AI Agent
 | Feature | Description |
 |---|---|
 | Output filtering | Strips ANSI codes, noise lines, and verbose formatting |
-| Smart truncation | Keeps essential information, truncates repetitive output |
+| Statistical compression | Typed compressors (log / json / diff / test-report / generic-text) fold repetitive output while keeping errors and failure details intact |
+| Reversible compression (CCR) | Raw output is stored locally in full before compression — recover it anytime with `godd-tk show <id>` |
 | Usage analytics | Tracks tokens saved per command with built-in SQLite |
 | Auto-install | Downloaded automatically on `npm install` |
 
 Run `godd-tk gain` to see cumulative token savings.
 
+Automatic compression hooks are currently configured only for Cursor. Other MCP
+clients remain usable without compression and can opt in with
+`godd-tk exec -- <command>`. Run `godd-a compatibility` for the implementation-backed
+matrix; real-client OS checks are shown as `unverified` until smoke-test evidence exists.
+
 ### GoDD Prompts
 
-Available GoDD prompts (MCP tools) in Cursor IDE:
+Available GoDD prompts (MCP tools):
 
 | Prompt | Description |
 |---|---|
+| `run` | Unified entry point — parses a text command like "/godd-a/<tool> <args>" and runs the matching tool |
 | `dev` | Development (plan → implement → test → quality → docs in stages) |
 | `check` | Quality gate (verify spec alignment, tests, types, lint, security) |
 | `docs` | Generate/update documentation |
@@ -151,10 +219,13 @@ Available GoDD prompts (MCP tools) in Cursor IDE:
 
 | Command | Description |
 |---|---|
-| `godd-a install [--license-key=KEY]` | Register MCP server with Cursor |
+| `godd-a install [--license-key=KEY] [--client=...]` | Register with MCP clients (`cursor` / `claude-code` / `codex` / `kimi` / `antigravity` / `all`; auto-detects installed clients when omitted) |
 | `godd-a init [--force] [--lang=LANG] [--auto]` | Generate project config.godd |
-| `godd-a uninstall` | Remove MCP server from Cursor |
-| `godd-a serve` | Start MCP stdio server (auto-invoked by Cursor) |
+| `godd-a uninstall [--client=...]` | Remove from MCP clients (same `--client` resolution as install) |
+| `godd-a compatibility` | Print the implementation-backed godd-tk client compatibility matrix |
+| `godd-a plan audit <record\|verify> [...]` | Record or verify tamper-evident plan interruption/resume/deviation evidence |
+| `godd-a research <action> [options]` | Persist/resume an anonymized research checkpoint in Rust (no search or LLM calls) |
+| `godd-a serve` | Start MCP stdio server (auto-invoked by the client) |
 | `godd-a --version` / `godd-a -v` | Show installed version |
 
 ### Scratchpad (Persistent Memory)
@@ -191,7 +262,7 @@ Set the issued license key with `godd-a install --license-key=YOUR_KEY`.
 ### Requirements
 
 - Node.js 22+
-- An MCP-compatible client — Cursor IDE or Claude Code CLI
+- An MCP-compatible client — Cursor IDE, Claude Code CLI, Codex, Kimi CLI, or Antigravity IDE
 - GoDD license key (get one at [official site](https://www.getgodd.dev/pricing))
 
 ### Troubleshooting
@@ -232,7 +303,20 @@ Proprietary — A GoDD license key is required. Purchase at the [official site](
 
 ## 日本語
 
-MCP 対応クライアント（Cursor IDE / Claude Code CLI）向けの AI プロンプト配信システム。MCP (Model Context Protocol) を通じて、プロジェクトの技術スタックに最適化されたプロンプト・マインドセット・エージェント定義を提供します。サーバー本体はクライアント非依存で、同一の `serve` コマンドで任意の MCP ホストから利用できます（Cursor IDE / Claude Code CLI で動作確認済み）。
+MCP 対応クライアント（Cursor IDE / Claude Code CLI / Codex / Kimi CLI / Antigravity IDE）向けの AI プロンプト配信システム。MCP (Model Context Protocol) を通じて、プロジェクトの技術スタックに最適化されたプロンプト・マインドセット・エージェント定義を提供します。サーバー本体はクライアント非依存で、Cursor、Claude Code、Codex、Kimi CLI、Antigravity を正式サポートします。
+
+npmパッケージを主要配布入口として維持し、`godd-a serve`はRustネイティブMCP実行本体を起動します。Node.jsはnpmライフサイクル、ネイティブバイナリ導入、互換CLIに限定して使用します。
+`config`、`questions`、`scratchpad`は診断・保存形式の互換性を保つため、呼び出し中だけ既存Node.jsハンドラを実行します。MCPサーバー本体はRustのままです。
+
+計画の中断・再開・逸脱は Rust 実装の `godd-a plan audit record` で記録し、
+再開前に `godd-a plan audit verify` で検証できます。32 bytes 以上の
+`GODD_PLAN_AUDIT_KEY` が必要です。自由記述は受け付けず、鍵は監査ログへ
+出力されません。
+
+実験的なRust domain contractとして、OpenAI互換providerの明示的な
+`provider:model` routeを検証できます。HTTP proxyの起動、秘密値の読取、仮想キー発行、
+既存MCP runtimeの変更は行いません。詳細はソースリポジトリの
+`documents/spec/multi-provider-gateway.md` を参照してください。
 
 ### インストール
 
@@ -243,9 +327,12 @@ npm install -g @autodevjapan/godd-mcp-alpha
 ### セットアップ（推奨）
 
 ```bash
-# Cursor IDE に MCP サーバーを登録（mcp.json を自動生成）
+# インストール済みの MCP クライアントを自動検出し、検出された全てに登録
 godd-a install --license-key=YOUR_LICENSE_KEY
 
+# 特定のクライアントを指定する場合: cursor / claude-code / codex / kimi / antigravity / all
+godd-a install --client=cursor --license-key=YOUR_LICENSE_KEY
+
 # プロジェクトの config.godd を自動生成（インタラクティブ）
 godd-a init
 
@@ -258,7 +345,7 @@ godd-a init --auto
 
 ### mcp.json を手動で設定する場合
 
-`godd-a install` が使えない環境では、`~/.cursor/mcp.json` を直接編集できます。
+`godd-a install` が使えない環境では、クライアントの設定ファイルを直接編集できます（Cursor は `~/.cursor/mcp.json`、Antigravity は `~/.gemini/antigravity/mcp_config.json`。いずれも well-known な `{"mcpServers": {...}}` 形式）。既知のクライアントが1つも検出されない場合、`godd-a install` は手動設定用にこのスニペットを表示します。
 **`serve` 引数は必須です。** 省略するとインストーラーモードで起動し、MCP 通信が破綻します。
 
 ```json
@@ -277,7 +364,15 @@ godd-a init --auto
 
 ### Claude Code CLI でのセットアップ
 
-`godd-a install` は現状 Cursor 専用（`~/.cursor/mcp.json` のみ）です。Claude Code CLI では MCP サーバーを手動登録します。起動コマンド・引数・環境変数は Cursor と同一です。
+次のコマンドで Claude Code CLI の user scope に登録します。既存設定とのマージは `claude` CLI に委譲されます。
+
+```bash
+godd-a install --client=claude-code --license-key=YOUR_LICENSE_KEY
+```
+
+`--client` を省略すると、インストール済みの既知クライアントが自動検出され、見つかった全てに登録されます（1つも検出されない場合は手動設定用の `mcpServers` スニペットを表示）。起動コマンド・引数・環境変数は全クライアントで同一です。
+
+手動登録する場合:
 
 ```bash
 claude mcp add godd-a \
@@ -285,15 +380,47 @@ claude mcp add godd-a \
   -- npx -y @autodevjapan/godd-mcp-alpha@latest serve
 ```
 
-または、プロジェクトルートの `.mcp.json` に上記と同じ `mcpServers` 構造を記述します（`serve` 引数は必須）。ライセンスのデバイスバインディングは端末単位のため、同一端末であれば Cursor と Claude Code CLI で同じキーを共用できます。
+削除は `godd-a uninstall --client=claude-code` を使用します。
+
+### Codex でのセットアップ
+
+Codex 公式 CLI を通して登録します。Codex CLI、IDE extension、app はこの MCP 設定を共有します。
+
+```bash
+godd-a install --client=codex --license-key=YOUR_LICENSE_KEY
+```
+
+`codex mcp list` または `/mcp` で確認し、削除は `godd-a uninstall --client=codex` を使用します。
+
+### Kimi CLI でのセットアップ
+
+Kimi CLI 公式の MCP コマンドを通して登録します。
+
+```bash
+godd-a install --client=kimi --license-key=YOUR_LICENSE_KEY
+```
+
+登録は `kimi mcp add --transport stdio` に委譲されます（環境変数は `-e KEY=VALUE` で付与）。`kimi` CLI が PATH にない場合は、手動実行用のコマンドを表示します。Kimi CLI セッション内の `/mcp` で接続を確認し、削除は `godd-a uninstall --client=kimi` を使用します。
+
+### Antigravity でのセットアップ
+
+Google Antigravity IDE の MCP 設定ファイルに登録します。
+
+```bash
+godd-a install --client=antigravity --license-key=YOUR_LICENSE_KEY
+```
+
+`~/.gemini/antigravity/mcp_config.json` に well-known な `{"mcpServers": {...}}` エントリをマージします（他のサーバー設定は保持）。削除は `godd-a uninstall --client=antigravity` を使用します。
 
 ### 使い方
 
-インストール後、MCP クライアント（Cursor IDE または Claude Code CLI）を再起動すると GoDD MCP α サーバーが自動で起動します。
+インストール後、MCP クライアント（Cursor IDE、Claude Code CLI、Codex、Kimi CLI、Antigravity）を再起動すると GoDD MCP α サーバーが自動で起動します。GoDD ツールの呼び出し方法は 3 つあります。
+
+**方法 1 — クライアントネイティブの UI:** 各クライアントが提供する MCP プロンプト/ツールの UI を使います。例: Cursor ではチャット入力欄で `/` を入力してドロップダウンから GoDD プロンプト（`/dev`、`/review` 等）を選択します。Agent モードで自然言語（「dev して」「レビューして」）で指示しても、AI が該当ツールを自動的に検出して呼び出します。
 
-**方法 1 — スラッシュコマンド（推奨）:** Cursor のチャット入力欄で `/` を入力するとドロップダウンに GoDD プロンプトが表示されます。選択して実行してください（例：`/dev`、`/review`）。
+**方法 2 — ネイティブスラッシュコマンド（install 時に生成）:** `godd-a install` はカスタムコマンド対応クライアントに `godd-a-<tool>.md` コマンドファイルを生成します — Cursor（`~/.cursor/commands/`）、Claude Code（`~/.claude/commands/`）、Codex（`$CODEX_HOME/prompts` または `~/.codex/prompts/`、セッション開始時にロード）、Antigravity（`~/.gemini/antigravity/workflows/` — コミュニティ情報ベース・公式未確認）。`/godd-a-dev`、`/godd-a-review` のように呼び出します（クライアントのコマンド名には `/` や `:` を使えないためハイフン形式）。Kimi CLI はカスタムスラッシュコマンド非対応のため生成されません。
 
-**方法 2 — Agent モードでの自然言語指示:** Cursor の Agent モードでは、自然言語で指示するだけで AI が適切な GoDD ツールを自動的に検出して呼び出します（例：「dev して」「レビューして」）。
+**方法 3 — `run` ツールへのテキストディスパッチ:** チャットに `/godd-a/dev <args>` とテキスト入力します。常時ロードされるディスパッチ規則（AGENTS.md の GoDD ブロックと `.cursor/rules/godd-stack.mdc`。`config` ツール（チャット経由）または `godd-a init` で再生成）により、AI が全文を GoDD MCP の `run` ツールに渡し、`run` が `/godd-a/<tool>`、`godd-a/<tool>`、`/godd-a:<tool>`、`/godd-a_<tool>`、`mcp__godd-a__<tool>`、ベア `/<tool>` の各形式をパースして対応ツールを実行します。
 
 ### トークン効率
 
@@ -306,9 +433,16 @@ GoDD MCP はプロンプトを**オンデマンドで配信**します。呼び
 
 セッション中いつでも `/metrics` を実行すると、実際のトークン使用量と節約推定値を確認できます。節約効果は GoDD 使用時と未使用時の実測ベンチマークで計測されます。
 
+任意の `quality_evidence` JSON を渡すと、過剰出力・実行完遂・設計健全性を
+再現可能な計算式で評価できます。証拠不足は失敗と推測せず
+`INCONCLUSIVE` として報告します。
+任意の `learning_evidence` には数値・真偽値の集計値だけを渡し、学習成果と
+主張の根拠性を決定論的に評価できます。空または未完了の証拠は
+`INCONCLUSIVE` です。原文や秘密情報は渡さないでください。
+
 ### GoDD Token Killer (godd-tk)
 
-**コマンド出力を圧縮し、さらに 60-90% のトークン削減を実現するバンドル CLI プロキシ。**
+**コマンド出力を圧縮し、トークンをさらに削減するバンドル CLI プロキシ。同梱ベンチマークで実測加重平均 88.1%（est.、コマンド種別レンジ 0〜94%）。**
 
 godd-tk は AI エージェントが実行するシェルコマンドの出力をインターセプトし、LLM に渡す前に圧縮します。`npm install` 時に自動でインストールされます。
 
@@ -319,18 +453,25 @@ AI エージェント → Shell("git status") → godd-tk → 圧縮済み出力
 | 機能 | 説明 |
 |---|---|
 | 出力フィルタリング | ANSI コード、ノイズ行、冗長な書式を除去 |
-| スマート切り詰め | 重要な情報を維持し、反復的な出力を切り詰め |
+| 統計的圧縮 | 型別コンプレッサ（log / json / diff / test-report / generic-text）が反復出力を畳み込み、エラーや失敗詳細は全文保持 |
+| 可逆圧縮（CCR） | 圧縮前の生出力をローカルに全文保存。`godd-tk show <id>` でいつでも原文を参照可能 |
 | 使用量分析 | コマンドごとの節約トークン数を SQLite で追跡 |
 | 自動インストール | `npm install` 時に自動ダウンロード |
 
 `godd-tk gain` で累計トークン節約量を確認できます。
 
+圧縮フックを自動設定するのは現時点では Cursor のみです。他の MCP
+クライアントは圧縮なしで利用を継続でき、`godd-tk exec -- <command>` で明示的に
+圧縮できます。実装SSOT由来の表は `godd-a compatibility` で確認でき、実クライアントの
+OS別smoke testは証跡が追加されるまで `unverified` と表示されます。
+
 ### GoDD プロンプト一覧
 
-Cursor IDE 上で利用できる GoDD プロンプト（MCP ツール）の一覧です。
+各クライアントで利用できる GoDD プロンプト（MCP ツール）の一覧です。
 
 | プロンプト | 説明 |
 |---|---|
+| `run` | 統一エントリポイント — "/godd-a/<tool> <args>" 形式のテキストコマンドをパースして対応ツールを実行 |
 | `dev` | 開発（段階的に計画→実装→テスト→品質→ドキュメントを実行） |
 | `check` | 品質ゲート（Spec整合・テスト・型・Lint・セキュリティを検証） |
 | `docs` | ドキュメント生成/更新 |
@@ -361,10 +502,13 @@ Cursor IDE 上で利用できる GoDD プロンプト（MCP ツール）の一
 
 | コマンド | 説明 |
 |---|---|
-| `godd-a install [--license-key=KEY]` | Cursor に MCP サーバーを登録 |
+| `godd-a install [--license-key=KEY] [--client=...]` | MCP クライアントに登録（`cursor` / `claude-code` / `codex` / `kimi` / `antigravity` / `all`。省略時はインストール済みクライアントを自動検出） |
 | `godd-a init [--force] [--lang=LANG] [--auto]` | プロジェクトの config.godd を生成 |
-| `godd-a uninstall` | Cursor から MCP サーバーを削除 |
-| `godd-a serve` | MCP stdio サーバーを起動（Cursor が自動呼び出し） |
+| `godd-a uninstall [--client=...]` | MCP クライアントから削除（`--client` の解決は install と同様） |
+| `godd-a compatibility` | 実装SSOT由来の godd-tk クライアント互換マトリクスを表示 |
+| `godd-a plan audit <record\|verify> [...]` | 改ざん検出可能な計画中断・再開・逸脱の証跡を記録・検証 |
+| `godd-a research <action> [options]` | Rust実行本体で匿名化済み調査チェックポイントを保存・再開（検索・LLM呼出なし） |
+| `godd-a serve` | MCP stdio サーバーを起動（クライアントが自動呼び出し） |
 | `godd-a --version` / `godd-a -v` | インストール済みバージョンを表示 |
 
 ### スクラッチパッド（永続メモリ）
@@ -401,7 +545,7 @@ GoDD MCP を利用するにはライセンスキーが必要です。以下の
 ### 動作要件
 
 - Node.js 22 以上
-- MCP 対応クライアント — Cursor IDE または Claude Code CLI
+- MCP 対応クライアント — Cursor IDE / Claude Code CLI / Codex / Kimi CLI / Antigravity IDE のいずれか
 - GoDD ライセンスキー（[公式サイト](https://www.getgodd.dev/pricing)で取得）
 
 ### トラブルシューティング
@@ -442,7 +586,18 @@ Proprietary — GoDD ライセンスキーが必要です。[公式サイト](ht
 
 ## Русский
 
-Система доставки AI-промптов для MCP-совместимых клиентов (Cursor IDE, Claude Code CLI). Предоставляет оптимизированные под технологический стек проекта промпты, мировоззрения и определения агентов через MCP (Model Context Protocol). Сервер не зависит от клиента — одна и та же команда `serve` работает с любым MCP-хостом. Проверено в Cursor IDE и Claude Code CLI.
+Система доставки AI-промптов для MCP-совместимых клиентов (Cursor IDE, Claude Code CLI, Codex, Kimi CLI, Google Antigravity IDE). Предоставляет оптимизированные под технологический стек проекта промпты, мировоззрения и определения агентов через MCP (Model Context Protocol). Сервер не зависит от клиента — одна и та же команда `serve` работает с любым MCP-хостом. Cursor, Claude Code, Codex, Kimi CLI и Antigravity официально поддерживаются.
+
+Пакет npm остаётся основным способом распространения. `godd-a serve` запускает MCP-среду на Rust; Node.js используется для жизненного цикла npm, установки нативного бинарного файла и совместимых CLI-команд.
+Инструменты `config`, `questions` и `scratchpad` запускают существующий обработчик Node.js только на время вызова для совместимости диагностики и формата хранения; сам MCP-сервер остаётся нативным для Rust.
+
+Команды `godd-a plan audit record` и `godd-a plan audit verify` записывают и
+проверяют защищённую HMAC-цепочкой историю остановок, возобновлений и отклонений
+плана. `GODD_PLAN_AUDIT_KEY` должен содержать не менее 32 байт.
+
+Экспериментальный доменный контракт Rust проверяет явные маршруты
+`provider:model` для OpenAI-совместимых провайдеров. Он не запускает HTTP-прокси,
+не читает секреты, не выпускает виртуальные ключи и не меняет MCP-среду.
 
 ### Установка
 
@@ -453,9 +608,12 @@ npm install -g @autodevjapan/godd-mcp-alpha
 ### Настройка (рекомендуется)
 
 ```bash
-# Зарегистрировать MCP-сервер в Cursor IDE (автоматическая генерация mcp.json)
+# Автоматически обнаружить установленные MCP-клиенты и зарегистрировать сервер в каждом
 godd-a install --license-key=YOUR_LICENSE_KEY
 
+# Или указать конкретный клиент: cursor / claude-code / codex / kimi / antigravity / all
+godd-a install --client=cursor --license-key=YOUR_LICENSE_KEY
+
 # Автоматическая генерация config.godd для проекта (интерактивный режим)
 godd-a init
 
@@ -468,7 +626,7 @@ godd-a init --auto
 
 ### Ручная настройка mcp.json
 
-Если `godd-a install` недоступен, можно напрямую отредактировать `~/.cursor/mcp.json`.
+Если `godd-a install` недоступен, можно напрямую отредактировать конфигурационный файл клиента — `~/.cursor/mcp.json` для Cursor, `~/.gemini/antigravity/mcp_config.json` для Antigravity (оба используют общеизвестный формат `{"mcpServers": {...}}`). Если ни один известный клиент не обнаружен, `godd-a install` выводит этот же сниппет для ручной настройки.
 **Аргумент `serve` обязателен.** Без него запускается режим установщика, и MCP-коммуникация нарушается.
 
 ```json
@@ -487,7 +645,18 @@ godd-a init --auto
 
 ### Настройка в Claude Code CLI
 
-`godd-a install` сейчас работает только с Cursor (`~/.cursor/mcp.json`). Для Claude Code CLI зарегистрируйте сервер вручную. Команда запуска, аргументы и переменные окружения идентичны Cursor.
+Зарегистрируйте сервер в Claude Code CLI с флагом `--client=claude-code`:
+
+```bash
+godd-a install --client=claude-code --license-key=YOUR_LICENSE_KEY
+```
+
+Регистрация делегируется `claude mcp add-json` в **user scope** (`~/.claude.json`) — безопасное слияние с другими MCP-серверами, повторный запуск обновляет существующую запись. Если `claude` CLI нет в PATH, установщик выведет точную команду для ручного выполнения.
+
+Без `--client` `godd-a install` автоматически обнаруживает локально установленные клиенты и регистрируется во всех найденных (если ни один не найден — выводит универсальный сниппет `mcpServers` для ручной настройки). Команда запуска, аргументы и переменные окружения идентичны для всех клиентов, а привязка лицензии выполняется по устройству.
+
+<details>
+<summary>Ручная регистрация (если не хотите использовать <code>godd-a install</code>)</summary>
 
 ```bash
 claude mcp add godd-a \
@@ -495,15 +664,48 @@ claude mcp add godd-a \
   -- npx -y @autodevjapan/godd-mcp-alpha@latest serve
 ```
 
-Либо добавьте файл `.mcp.json` в корне проекта с той же структурой `mcpServers` (аргумент `serve` обязателен). Привязка лицензии выполняется по устройству, поэтому один ключ работает в Cursor и Claude Code CLI на одной машине.
+Либо добавьте файл `.mcp.json` в корне проекта с той же структурой `mcpServers` (аргумент `serve` обязателен).
+</details>
+
+### Настройка в Codex
+
+Регистрация через официальный MCP CLI Codex. Codex CLI, расширение IDE и приложение используют общую MCP-конфигурацию:
+
+```bash
+godd-a install --client=codex --license-key=YOUR_LICENSE_KEY
+```
+
+Проверка: `codex mcp list` или `/mcp`. Удаление: `godd-a uninstall --client=codex`.
+
+### Настройка в Kimi CLI
+
+Регистрация через официальную MCP-команду Kimi CLI:
+
+```bash
+godd-a install --client=kimi --license-key=YOUR_LICENSE_KEY
+```
+
+Регистрация делегируется `kimi mcp add --transport stdio` (переменные окружения передаются через `-e KEY=VALUE`). Если `kimi` CLI нет в PATH, установщик выведет команду для ручного выполнения. Проверка: `/mcp` в сессии Kimi CLI. Удаление: `godd-a uninstall --client=kimi`.
+
+### Настройка в Antigravity
+
+Регистрация в MCP-конфигурации Google Antigravity IDE:
+
+```bash
+godd-a install --client=antigravity --license-key=YOUR_LICENSE_KEY
+```
+
+Общеизвестная запись `{"mcpServers": {...}}` объединяется в `~/.gemini/antigravity/mcp_config.json` без изменения других серверов. Удаление: `godd-a uninstall --client=antigravity`.
 
 ### Использование
 
-После установки перезапустите MCP-клиент (Cursor IDE или Claude Code CLI) — сервер GoDD MCP α запустится автоматически.
+После установки перезапустите MCP-клиент (Cursor IDE, Claude Code CLI, Codex, Kimi CLI или Antigravity) — сервер GoDD MCP α запустится автоматически. Есть три способа вызвать инструменты GoDD:
+
+**Способ 1 — Нативный UI клиента:** Используйте интерфейс MCP-промптов/инструментов вашего клиента — например, в Cursor введите `/` в поле чата и выберите промпт GoDD из выпадающего списка (`/dev`, `/review`). В режиме Agent можно просто попросить AI естественным языком («запусти dev», «сделай review») — AI автоматически обнаружит и вызовет соответствующий инструмент.
 
-**Способ 1 — Слэш-команда (рекомендуется):** Введите `/` в поле чата Cursor — в выпадающем списке появятся промпты GoDD. Выберите нужный (например, `/dev`, `/review`).
+**Способ 2 — Нативные slash-команды (генерируются при установке):** `godd-a install` записывает файлы команд `godd-a-<tool>.md` в клиенты с поддержкой пользовательских команд — Cursor (`~/.cursor/commands/`), Claude Code (`~/.claude/commands/`), Codex (`$CODEX_HOME/prompts` или `~/.codex/prompts/`, загружаются при старте сессии), Antigravity (`~/.gemini/antigravity/workflows/` — путь из данных сообщества, официально не подтверждён). Вызывайте их как `/godd-a-dev`, `/godd-a-review` и т.д. — имена команд клиента не могут содержать `/` или `:`, поэтому используется форма с дефисом. Kimi CLI не поддерживает пользовательские slash-команды, поэтому файлы для него не генерируются.
 
-**Способ 2 — Естественный язык в режиме Agent:** В режиме Agent Cursor можно просто попросить AI использовать нужный инструмент (например, «запусти dev», «сделай review») — AI автоматически обнаружит и вызовет соответствующий инструмент GoDD.
+**Способ 3 — Текстовая диспетчеризация через инструмент `run`:** Введите `/godd-a/dev <args>` обычным текстом в чат. Постоянно загружаемые правила диспетчеризации (GoDD-блок в AGENTS.md и `.cursor/rules/godd-stack.mdc`, перегенерируются инструментом `config` (через чат) или командой `godd-a init`) указывают AI передать полный текст инструменту `run` GoDD MCP, который разбирает все обозначения — `/godd-a/<tool>`, `godd-a/<tool>`, `/godd-a:<tool>`, `/godd-a_<tool>`, `mcp__godd-a__<tool>`, голый `/<tool>` — и запускает соответствующий инструмент.
 
 ### Эффективность токенов
 
@@ -516,9 +718,16 @@ GoDD MCP доставляет промпты **по требованию** —
 
 В любой момент сессии введите `/metrics`, чтобы увидеть фактическое использование токенов и расчётную экономию. Экономия измеряется эмпирически через бенчмарки, сравнивающие сессии с GoDD и без него.
 
+Необязательный аргумент JSON `quality_evidence` добавляет воспроизводимую
+оценку избыточного вывода, завершённости выполнения и целостности дизайна.
+Недостаточные доказательства дают `INCONCLUSIVE`, а не предполагаемый сбой.
+Необязательный `learning_evidence` принимает только числовые и логические
+агрегаты и детерминированно оценивает обучение и обоснованность. Пустые или
+неполные доказательства дают `INCONCLUSIVE`; исходный текст и секреты запрещены.
+
 ### GoDD Token Killer (godd-tk)
 
-**Встроенный CLI-прокси для дополнительной экономии 60-90% токенов на вывод команд.**
+**Встроенный CLI-прокси для дополнительной экономии токенов на вывод команд — измеренная средневзвешенная экономия 88.1% (est.) на встроенном бенчмарке (0–94% по типам команд).**
 
 godd-tk перехватывает команды оболочки, выполняемые AI-агентами, и сжимает их вывод перед отправкой в LLM. Автоматически устанавливается вместе с GoDD MCP через `npm postinstall`.
 
@@ -529,18 +738,26 @@ AI-агент → Shell("git status") → godd-tk → сжатый вывод
 | Функция | Описание |
 |---|---|
 | Фильтрация вывода | Удаление ANSI-кодов, шумовых строк и избыточного форматирования |
-| Умная обрезка | Сохранение существенной информации, обрезка повторяющегося вывода |
+| Статистическое сжатие | Типизированные компрессоры (log / json / diff / test-report / generic-text) сворачивают повторяющийся вывод, сохраняя ошибки и детали сбоев полностью |
+| Обратимое сжатие (CCR) | Исходный вывод целиком сохраняется локально до сжатия — восстановление в любой момент через `godd-tk show <id>` |
 | Аналитика использования | Отслеживание сэкономленных токенов по командам через SQLite |
 | Автоустановка | Скачивается автоматически при `npm install` |
 
 Запустите `godd-tk gain` для просмотра накопленной экономии токенов.
 
+Автоматический хук сжатия сейчас настраивается только для Cursor. Остальные
+MCP-клиенты продолжают работать без сжатия; ручной режим:
+`godd-tk exec -- <command>`. Команда `godd-a compatibility` выводит матрицу из
+реестра реализации, а проверки реальных клиентов по ОС остаются `unverified`
+до появления результатов smoke-тестов.
+
 ### Список промптов GoDD
 
-Доступные промпты GoDD (MCP-инструменты) в Cursor IDE:
+Доступные промпты GoDD (MCP-инструменты):
 
 | Промпт | Описание |
 |---|---|
+| `run` | Единая точка входа — разбирает текстовую команду "/godd-a/<tool> <args>" и запускает соответствующий инструмент |
 | `dev` | Разработка (поэтапно: план → реализация → тесты → качество → документация) |
 | `check` | Контроль качества (проверка соответствия спецификации, тесты, типы, линтер, безопасность) |
 | `docs` | Генерация/обновление документации |
@@ -571,10 +788,13 @@ AI-агент → Shell("git status") → godd-tk → сжатый вывод
 
 | Команда | Описание |
 |---|---|
-| `godd-a install [--license-key=KEY]` | Зарегистрировать MCP-сервер в Cursor |
+| `godd-a install [--license-key=KEY] [--client=...]` | Зарегистрировать MCP-сервер в клиентах (`cursor` / `claude-code` / `codex` / `kimi` / `antigravity` / `all`; без `--client` — автообнаружение установленных) |
 | `godd-a init [--force] [--lang=LANG] [--auto]` | Сгенерировать config.godd для проекта |
-| `godd-a uninstall` | Удалить MCP-сервер из Cursor |
-| `godd-a serve` | Запустить MCP stdio-сервер (автоматически вызывается Cursor) |
+| `godd-a uninstall [--client=...]` | Удалить MCP-сервер из клиентов (разрешение `--client` как у install) |
+| `godd-a compatibility` | Показать матрицу совместимости godd-tk из реестра реализации |
+| `godd-a plan audit <record\|verify> [...]` | Записать или проверить историю остановок, возобновлений и отклонений плана |
+| `godd-a research <action> [options]` | Сохранить или продолжить обезличенную контрольную точку в Rust (без поиска и LLM) |
+| `godd-a serve` | Запустить MCP stdio-сервер (автоматически вызывается клиентом) |
 | `godd-a --version` / `godd-a -v` | Показать установленную версию |
 
 ### Скрэтчпад (постоянная память)
@@ -611,7 +831,7 @@ cd godd-mcp-alpha && docker compose up -d
 ### Системные требования
 
 - Node.js 22+
-- MCP-совместимый клиент — Cursor IDE или Claude Code CLI
+- MCP-совместимый клиент — Cursor IDE, Claude Code CLI, Codex, Kimi CLI или Antigravity IDE
 - Лицензионный ключ GoDD (получите на [официальном сайте](https://www.getgodd.dev/pricing))
 
 ### Устранение неполадок