OrangePro

テストが実際にどのコードを保護しているかを確認しましょう。コードを意図的に壊して、それを証明します。

OrangeProは、リポジトリ内のすべての公開関数をマッピングし、それぞれを実際に呼び出すテストに結び付け、残りの関数を壊した場合の影響に基づいて順位付けします。重要なテストについては、隔離されたコピー内で関数を壊し、そのテストが失敗するか確認します。お使いのマシン上で実行され、スコアリングにAIモデルを使用せず、OrangeProにデータを送信することもありません。モデル呼び出しが行われるのは、任意のテスト生成や提案のために独自のキーを追加した場合のみです。

npx -y @orangepro/mcp-server@latest start .

目次

• 得られるもの
• 開発者に選ばれる理由
• クイックスタート
• エビデンスの段階
• 順位付けの仕組み
• テストを証明する
• コーディングエージェントと使う
• 設定
• 言語サポート
• 要件と制限
• プライバシーとネットワークの利用
• フィードバック
• リファレンス

得られるもの

実行するたびに、2つのレポートとテスト一覧のスプレッドシートが .orangepro/ に出力されます。

各関数には、次の4つの対応のいずれかが割り当てられます。

1ページの概要

どちらも、モデルキーなしで、コミット 64a5213 の OrangePro 自身のリポジトリを対象に実行したものです。そのため、テストは作成されていません。キーを設定すると、上位 20 件のそれぞれにテスト案が 2 つ表示され、サイドパネルにはそれらの手順とコードが表示されます。

開発者が活用する理由

• テストが何を実際に検証しているのかがわかります。実行している内容だけではありません。 関数を呼び出すテストが、その関数を検証しているとは限りません。opro prove は、分離したコピー内で関数本体を固定の戻り値に置き換え、変更していない実際のテストを再実行します。それでもテストが成功するなら、そのテストはその関数を保護していません。
• 影響の大きいものから優先します。 1 つのフィルターで、削除または一括削除に至るコードパス（キャッシュの削除は対象外）を表示できます。ほかのフィルターでは、変更頻度が高いコード、多くの呼び出し元があるコード、スケジュール実行されるコードを表示します。
• 根拠を正直に示します。 テストがその関数を正確に呼び出す場合に限り、関数は「リンク済み」になります。似た名前のテストは手がかりであって、カバレッジではありません。モックのチェックだけを行うテストは対象外です。
• 再現性があります。 同じコミット、完全な Git 履歴、同じ設定、同じバージョンであれば、同じ順位になります。各レポートにはフィンガープリントが記録されるため、結果の変化がコードによるものか、ツールによるものかを見分けられます。
• コーディングエージェントから操作できます。 MCP サーバーとして、Claude Code、Cursor、Copilot、Codex などに、順位付けされた不足箇所、推奨するテストの場所、証明手順を 1 つのループで提供します。
• 無料で、ローカルで動作するオープンソース（MIT）です。 アカウントも、分析用の API キーも不要で、アップロードもありません。

クイックスタート

cd /path/to/your/repo
# install the repo's own dependencies first (npm ci, uv sync, go mod download, ...)
npx -y @orangepro/mcp-server@latest start .
open .orangepro/short_behavior-coverage.html

分析、順位付け、証明にモデルキーは必要ありません。テスト生成は任意で、ご自身のキーを使用します（モデルの設定を参照）。

最も正確に実行するためのヒント：

• 浅いクローンではなく、完全なクローンを使用してください。 変更履歴は順位付けの一部に影響し、履歴が不完全な場合はレポートに表示されます。
• rank_exclude_paths でプロダクトコード以外を除外してください（設定を参照）。
• 変更後に再実行してください。 各レポートには、前回からの変更内容が記載されます。何も変わっていない場合（同じコミット、ファイル、設定、カバレッジ、証明）、start は前回のレポートをすぐに再利用し、その旨を表示します。--fresh を指定すると、いずれの場合もすべて実行します。

出力される内容：

.orangepro/
├── short_behavior-coverage.html   ← one-page summary
├── behavior-coverage.html         ← detailed report: worklist, map, run details
├── tests.csv                      ← drafted tests, one row per test
├── report-data.json               ← the data both reports show (used to compare and reuse runs)
├── run-key.json, last-start.json  ← what the last run saw, so an unchanged repo is not analysed again
├── graph.json                     ← the evidence graph (deterministic)
├── ledger.json                    ← proof certificates
├── rtm.md                         ← traceability matrix
└── config.json                    ← optional per-repo settings

orangepro_generated/               ← generated tests (only with a model key); your files are never edited

根拠の段階

すべての関数には、根拠ラベルが 1 つだけ付与されます。上記の 4 つの対応項目は、このラベルに基づいて表示されます。

証明を実行しても不具合を検出できなかった場合、その関数は 作成 になります。コード変更前に行った証明は、再び 証明 になります。

OrangePro がカウントしない項目。リンク数はカバレッジ率ではなく、最低数を示します：

• モックに対するアサーションしか行わないテスト。
• HTTP 経由、またはエンドツーエンドテストスイートからの呼び出し。
• Python で、フィクスチャを介してのみテストに到達するオブジェクト。

フラグが付いたパスに対して新しいテストを書く前に、既存のテストを確認してください。

「証明済み 0」は初回実行では通常の状態です。 証明ではテストを実行するため、選択した関数、または opro start の試行予算内にある関数のみが対象になります。

ランキングの仕組み

まだテストで証明されていない各関数に OrangePro リスクスコア（ORS = P × I × D）が付与されます。

• P：変更される可能性です。変更履歴、影響範囲、新しいコード、コードの規模を考慮します。
• I：問題が発生した場合の影響です。参照元の数、エントリーポイントとしての位置、データの機密性に加え、2 回以内の呼び出しで削除または消去に至るパスに対する下限値を考慮します。
• D：問題の発見しにくさです。証拠の階層（リンクされたテストやカバレッジ実行があれば、名前の一致のみ、または何もない場合よりも問題を発見しやすくなります）と、無人で実行されるかどうか（ジョブやスケジューラー）を考慮します。

スコアによって作業順が決まります。これは欠陥が発生する確率ではありません。重みは固定されており、AI モデルは関与しません。レポートには各行の算出根拠が表示されます。

テストを証明する

# Python: the mutation value is derived from the function (return annotation or its observed result)
opro prove-loop --target-symbol 'sym:app/billing/invoices.py#void_invoice' \
  --test 'tests/test_invoices.py::test_void_marks_invoice_void' --replacement sentinel

# TypeScript / JavaScript: give the inert body to substitute
opro prove-loop --target-symbol 'sym:src/orders.service.ts#OrdersService.cancel' \
  --test src/orders.service.spec.ts --replacement 'return null;'

• 証明済み： 元のコードではテストが成功し、壊したコードではそのテスト自身のアサーションで失敗します。
• 未証明： 壊したコードでもテストが成功するため、その関数を保護できていません。これも調査結果です。
• 実行不可： セットアップに失敗しました。どちらの場合にもカウントされません。

モデルキーなしで弱いテストを見つける：

opro roast .   # passing tests whose targeted mutant still survives

コーディングエージェントで使用する

OrangePro は MCP サーバーとして動作します。クライアントの設定に追加してください。

{
  "mcpServers": {
    "orangepro-local": {
      "command": "npx",
      "args": ["-y", "@orangepro/mcp-server@latest", "mcp"]
    }
  }
}

一連の処理を実行するプロンプト：

「orangepro_start を使い、続けて orangepro_find_test_gaps を実行してください。最も優先度の高いギャップについて、提案されたパスにテストを書いて実行し、その後 orangepro_prove_loop を呼び出して、証明できたかどうかを教えてください。」

設定

任意です。リポジトリ内の .orangepro/config.json、またはすべてのリポジトリに適用する既定値として ~/.orangepro/config.json に設定します。ランキングを変更する各設定はレポートに表示されます。

{
  "classification": {
    "rank_exclude_paths": ["ui/**", "docs/**", "scripts/**"],
    "test_support_paths": ["internal/testutil/**"],
    "destructive_sinks": ["archive*"]
  },
  "tuning": { "churn_window_days": 180 },
  "proof": { "python_runner": "auto", "attempt_limit": 20 },
  "overrides": [
    { "symbol": "sym:src/legacy/shim.ts#shim", "action": "suppress", "reason": "generated shim, not product code" }
  ]
}

• rank_exclude_paths はランキングからパスを除外します。動作としては引き続きカウントされます。
• destructive_sinks はコードベースで削除に類する呼び出しを追加します。
• オーバーライド（suppress、pin、reclassify）にはそれぞれ理由が必要で、レポートにも記載されます。
• 重みと階層は設定できません。

言語サポート

• 「名前の一致のみ」の場合、関数に似たテストファイル名またはテスト名があると、未確認（要確認）になります。呼び出しは追跡されないため、これらの言語では現時点でリンク済みまたは証明済みにはなりません。
• TypeScript と JavaScript は TypeScript コンパイラーで解析し、その他の言語は tree-sitter で解析します。
• Python の証明では、リポジトリ独自の環境を通して pytest を実行します。既存の .venv または venv を使用し、ロックファイルがある場合は uv または poetry を使用します。それ以外の場合は python -m pytest を実行します。独自のコマンドを使用するには proof.python_runner を設定してください。
• Java の証明には Maven（Surefire）と JUnit 5 が必要です。Gradle および JUnit 4 のプロジェクトはマッピングとリンクができますが、まだ証明には対応していません。
• まだ追跡されていないため、テスト済みのコードでも未確認と表示される場合があります。対象は、Go のテストスイートメソッドやヘルパーコンストラクターを介した呼び出し、実行時に配線される依存性注入、リフレクション、HTTP または RPC 経由の呼び出しです。

要件と制限

• macOS または Linux で、パッチが適用された Node.js：22.23.4 以降の 22.x、24.22.1 以降の 24.x、または 26.12.1 以降。 Windows はテストされていません。証明では POSIX パスとシンボリックリンクを使用します。
• パッチが適用された Node.js を使用してください。 2026 年 10 月 21 日の Node.js セキュリティリリース（22.23.4、24.22.1、26.12.1）では、重大度の高い問題がいくつか修正されています。また、Node.js 20 はサポート終了となっており、修正は提供されません。奇数番号の系列（23、25）には、パッチ適用済みリリースがありません。package.json の engines フィールドにはこの要件が記載されていますが、engine-strict=true を設定しない限り、npm は警告を表示するだけです。node -v でバージョンを確認してください。Node.js のセキュリティリリースに関するお知らせを参照してください。
• 変更履歴の確認に Git が必要です。 Git がない場合、またはシャロークローンの場合、順位付けには構造だけが使われ、その旨がレポートに記載されます。Git チェックアウトではないフォルダーでは、常に全件実行されます。
• 最初にリポジトリの依存関係をインストールしてください（npm ci、uv sync、go mod download、mvn -q install、…）。証明では、分離されたコピー内で独自のテストを実行するため、そこでテストがパスする必要があります。
• 読み取り対象： ソースファイルとテストファイル。.gitignore または .orangeproignore に記載された項目（! による除外解除は未対応）、一般的なビルドおよび依存関係のフォルダー（node_modules、vendor、dist、build、target、coverage、.venv、…）、1 MB を超えるファイル、生成コード（Code generated … DO NOT EDIT と記されたファイル）は対象外です。最大 100,000 ファイルです。ORANGEPRO_MAX_FILES でその数を減らし、ORANGEPRO_MAX_ANALYZE_MS でスキャンの制限時間を設定できます。
• テストのドラフト作成では、優先度が最も高い 20 個の関数を対象に、各関数につき 2 つのテストを、ワークリストに表示される順序で作成します。レポートにもこの 20 個が表示されます。関数のコードが変更されるまで、ドラフトは保持されます。
• 実行を再利用する際に「何も変更されていない」と見なす条件： コミット、Git で無視されない変更済みまたは未追跡のすべてのファイル、OrangePro の設定ファイルと除外ファイル、カバレッジファイル、証明台帳、start オプション、モデルキーが設定されているかどうか、および分析バージョン。プロバイダーエラー（クレジット不足、レート制限）でテストのドラフト作成に失敗した実行は、全件再実行されます。
• CSV の列の対応付けは、各ツールの CSV インポーターに従います（tests.csv のインポートを参照）。初回はインポートプレビューを確認してください。

プライバシーとネットワークの使用

• コードや実行に関する情報が外部に送信されることはありません。 使用状況のテレメトリーはありません。
• ソースはプロセス内で読み取られ、保存またはアップロードされることはありません。 レポートとエビデンスグラフにはメタデータが含まれ、ソースは含まれません。
• ソースファイルが編集されることはありません。 証明は分離されたコピー内で実行されます。
• モデル呼び出しが行われるのは、キーを設定した場合だけです。 選択したプロバイダーへ、マシンから直接送信されます。キー、プロバイダー、そのエンドポイントとモデルは、シェル環境または MCP クライアントの設定にある env ブロックからのみ読み取られます。OrangePro は .env ファイルを読み取らないため、スキャン対象のリポジトリがキーの送信先を指定することはできません。また、OrangePro がキーをどこかに書き込むこともありません。opro setup が保存するのは、プロバイダー名とモデル名だけです。
• キーを設定すると、レポートと tests.csv にはモデルが作成したテストが含まれます。 また、プロンプトには、対象となる関数名、ファイル名、および根拠となるエビデンスが含まれます。
• レポートがネットワークから何かを読み込むことはありません。 外部リンクは、クリックしたものだけです。

フィードバック

レポートにはフィードバックを送信リンクと、各指摘事項にこれは間違っているようですリンクがあります。ときどき、指摘事項の後に、レポートが役に立ったかどうかも尋ねます。

• リンクを通じてプロジェクトに関する情報が送信されることはありません。 フォームから送信されるのは、確認して送信した内容だけです。
• メールアドレスを入力しない限り、匿名のままです。

opro feedback          # print the link and your settings
opro feedback off      # stop the "Did this help?" question (links stay)
ORANGEPRO_FEEDBACK_URL=off   # hide every feedback link

質問が表示されるのは、最長でも 14 日に 1 回です（ORANGEPRO_FEEDBACK_COOLDOWN_DAYS）。この設定はお使いのマシンにのみ保存されます。MCP クライアントはリンクを任意の結果メタデータ（_meta["ai.orangepro/feedback_url"]）として受け取り、エージェントからフィードバックを求めるプロンプトが表示されることはありません。

リファレンス

{
  "artifacts": {
    ".orangepro/coverage/unit.coverprofile": { "suite": "unit", "command": "make unit-test-coverage" },
    ".orangepro/coverage/integration.coverprofile": { "suite": "integration", "command": "make integration-test-coverage" }
  }
}

opro generate --base main     # tests for what this branch changed (read-only git diff)
opro generate --changed       # current branch vs its base
opro generate --pr 1234       # checks out PR #1234 (asks first; refuses on a dirty tree)

ホステッドプラットフォーム

このリポジトリは無料のローカルツールです。OrangePro platformでは、次の機能が追加されます。

• PRとリポジトリをまたいで永続化されるグラフ
• エビデンスとリスクの変更に対するCIゲート
• 要件とインシデントの相関付け
• チームダッシュボード

貢献

git clone https://github.com/OrangeproAI/orangepro-mcp.git
cd orangepro-mcp && npm ci && npm run build
npm test

PRを歓迎します。大規模な変更の場合は、まずissueを作成してください。

MIT License · orangepro.ai