リポジトリを解析する。
Codna はファイル、シンボル、インポート、テスト、依存エッジを走査します。マップはインポートパターンからモデルなしで構築するため、トークンはゼロで、コードをどこにも送りません。
codna triage . --json
仕組み
1
2
影響範囲グラフを構築する。
グラフは、関数、ファイル、パッケージ、API が変わったときに何が壊れうるかを特定します。これにより Codna はエージェント起動前に探索範囲を絞れます。
3
エビデンスバンドルをまとめる。
Codna は必要なファイル、失敗テスト、呼び出しパス、リコールしたコンテキストをそのままエージェントに渡します。毎回の実行で「生のサイズ→バンドル」の比率を表示します。
4
修正し、ゲートを通し、プルリクエストを開く。
エージェントがパッチを書きます。Codna は根本原因、確信度、影響範囲、回帰リスクを報告し、何かを適用する前にリスクゲートを実行します。--tests --apply ではサンドボックスでテストを実行し、通るまで修正を繰り返します。--open-pr ではレビュー用にプルリクエストを開きます。
codna fix https://github.com/org/repo --issue "checkout race condition" --open-pr
01内部の仕組み
Codna がエージェントに渡すもの。
アーキテクチャ
設計段階からモデル非依存。
Anthropic、OpenAI、Google Gemini、Groq、Mistral、OpenRouter、xAI の自分のキー、または管理モデル割り当てを使えます。決定的マップは変わりません。
自分のキーを持ち込む
あなたのモデルキーは OS のキーチェーンに保存。あなたのプロバイダー。あなたの請求。
MCP サーバー
Cursor と Claude に Codna の 5 つのツールをローカルサーバーとして提供。
CLI ファースト
任意のリポジトリ、CI ジョブ、コンテナで Codna を実行。GitHub Action も同じコマンドを実行します。
GitHub App
すべてのプルリクエストをレビュー。Issue と赤いチェックを修正 PR に変える。
よくある質問
Codna はリポジトリのインポートパターンから、モデルなし・トークンゼロで依存関係と影響範囲のグラフを構築します。グラフはどのコードがどのコードに影響するかを記録するため、特定は推測ではありません。
Codna がエージェントを呼ぶ前に組み立てるコンテキストの一部です：疑わしいファイル、呼び出しパス、失敗テスト、リコールしたコンテキスト。Codna は毎回の実行で「生のサイズ→バンドル」のトークン数を表示するので、エージェントがどれだけ読んだかがわかります。
すべての修正は適用またはプルリクエスト作成の前にリスクゲートを通過し、根本原因、確信度、影響範囲、回帰リスクを報告します。codna fix --tests --apply を実行すると、Codna はサンドボックスでテストを実行し、設定した反復上限まで、通るまで修正を繰り返します。
Cursor との 87 件の対応ケースで、Codna はトークンを 5 分の 1 に抑え、1.7 倍速く動作し、検証済み修正 1 件あたりのモデル費用は平均約 $0.02 でした。
リポジトリマップはインポートパターンから作られるため、特定の言語に縛られません。オンデバイスリコールは Python、JavaScript、TypeScript、Go、Rust、Java、C、C++、C#、PHP、Ruby に対応します。テストコマンドはリポジトリが使うランナーをそのまま実行します。
Codna は CLI、Cursor と Claude 向け MCP サーバー、GitHub Action、GitHub App として提供されます。理解はあなたのマシン上で行われます。モデルプロバイダーに届くのはエビデンスバンドルまたは diff だけで、あなたのキーで送られます。