モデルトークンなしのリポジトリ理解。
Codna はシンボル、インポート、呼び出しパス、テスト、依存関係を、エージェントが問い合わせできるグラフに解析します。
マップされたシンボルすべてのシンボル
バンドルサイズ毎回の実行で表示
マップに使うモデル費用0 トークン
プロダクト
エージェントが受け取るのはエビデンス。リポジトリ全体ではない。
ファイルをコンテキストウィンドウに流し込む代わりに、Codna はコンパクトなバンドルを組みます：疑わしいファイル、呼び出しチェーン、失敗テスト、リスクマップ。レポートは見つけたものを述べます。
✓ codna fixed . root cause : <one sentence> symbol : <function> (blast radius: N) confidence : N% · regression risk: N% context : raw → bundle tokens (N× smaller)
コア機能
理解し、修正し、レビューし、守る。すべての結果が自らを説明する。
1
Triage
任意のローカルパスや git URL をモデルトークンゼロでマップし、変更がどこに属するかを確認。
2
Fix
Issue に絞ったエビデンスバンドルから修正。根本原因、確信度、回帰リスクが付属。--open-pr を追加してプルリクエストを開く。
3
Review
すべてのプルリクエストをレビュー。検出には重大度、カテゴリ、確信度が付きます。クリーンな diff は承認されます。
4
Secure
どのスキャナー検出が到達可能かを証明。Codna は CodeQL、Semgrep、Snyk、Trivy の SARIF を読み、モデルトークンをゼロしか使いません。
提供形態
Codna を使う 4 つの方法。
CLI任意のリポジトリ、CI ジョブ、コンテナで codna triage、fix、review、secure を実行。
MCP サーバーCursor と Claude に Codna の 5 つのツールを提供：triage、fix、secure、recall、report。
GitHub App と Actionすべてのプルリクエストをレビュー。Issue のラベル、コメント、赤いチェックから修正 PR を開きます。
よくある質問
Codna はモデルを使わず、トークンゼロでリポジトリの依存関係と影響範囲のグラフを構築します。そのグラフから Issue に絞ったエビデンスバンドルをまとめ、毎回の実行で「生のサイズ→バンドル」の比率を表示します。エージェントは重要な部分だけを扱います。
すべての修正が根本原因、確信度、影響範囲、回帰リスクを報告し、適用またはプルリクエスト作成の前にリスクゲートを通過します。codna fix --tests --apply を実行すると、Codna はサンドボックスでテストを実行し、通るまで修正を繰り返します。
リポジトリマップはインポートパターンから構築されるため、特定の言語に縛られません。オンデバイスリコールは Python、JavaScript、TypeScript、Go、Rust、Java、C、C++、C#、PHP、Ruby に対応します。codna.yaml の fix.test_command に自分のテストランナーを設定してください。
Cursor との 87 件の対応バグ修正ケースで、Codna はトークンを 5 分の 1 に抑え、1.7 倍速く動作しました。両者とも 87 件中 87 件の修正を検証。Codna の修正あたりモデル費用は平均約 $0.02 でした。
Codna は CLI、Cursor と Claude 向けの MCP サーバー、GitHub Action、そしてプルリクエストをレビューしリポジトリに修正 PR を開く GitHub App として提供されます。
理解はあなたのマシン上で行われます。モデルプロバイダーに届くのはエビデンスバンドルまたは diff だけで、あなたのキーで送られます。あなたが同意しない限り、コードがモデルの学習に使われることはありません。
