OrangePro

了解测试真正保护了哪些代码。故意破坏代码，证明这一点。

OrangePro 会映射代码库中的每个公共函数，将其与实际调用它的测试关联起来，并根据可能造成的破坏对剩余项排序。对于你关注的测试，它会在隔离副本中破坏函数，并检查测试是否失败。它在你的计算机上运行，不使用 AI 模型进行评分，也不会向 OrangePro 发送任何内容。只有在添加自己的密钥后，才会调用模型，以便可选地生成测试和提供建议。

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

目录

• 你将获得什么
• 开发者为何使用它
• 快速开始
• 证据等级
• 排序的工作原理
• 证明测试
• 与编码 Agent 配合使用
• 配置
• 语言支持
• 要求和限制
• 隐私和网络使用
• 反馈
• 参考

你将获得什么

每次运行都会在 .orangepro/ 中生成两份报告和一份测试电子表格：

每个函数都会得到以下四种处理建议之一：

单页摘要

这两份报告均由 OrangePro 在其自身仓库的提交 64a5213 上生成，未使用模型密钥，因此没有起草测试。使用密钥后，排名前 20 的每项都会显示两个起草的测试，侧边栏则会显示测试步骤和代码。

开发者为什么会用它

• 它会告诉你测试实际检查了什么，而不只是运行了什么。 调用某个函数的测试不一定是在检查该函数。opro prove 会在隔离副本中将函数体替换为固定返回值，然后原样重新运行你自己的测试。如果测试仍然通过，就说明它没有保护该函数。
• 它优先呈现影响。 一个筛选器会显示那些调用路径会到达删除或清除操作的代码（清除缓存不计入）；其他筛选器会显示经常变更、有很多调用方或按计划运行的代码。
• 它如实呈现证据。 只有当测试调用了某个确切函数时，该函数才会被标记为“已关联”。名称相似的测试只是线索，绝不代表覆盖。只检查模拟对象的测试不计入。
• 它可重复运行。 相同的提交、完整的 git 历史、相同的配置和相同的版本会得到相同的排名。每份报告都会记录指纹，因此你能判断结果变化是由代码还是工具引起的。
• 你的编码 Agent 可以驱动它。 作为 MCP 服务，它能在一个循环中向 Claude Code、Cursor、Copilot、Codex 等工具提供按排名排列的缺口、建议的测试位置和证明步骤。
• 它免费、本地运行且开源（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

证据等级

每个函数恰好对应一个证据标签。上面的四种待办事项都由它确定。

如果证明已运行但未能捕获问题，该函数会变为 编写；如果证明是在代码变更前完成的，则会重新变为 证明。

OrangePro 不计入的内容，因此已关联数量只是下限，不是覆盖率百分比：

• 只对模拟对象进行断言的测试；
• 通过 HTTP 发起的调用或来自端到端测试套件的调用；
• 在 Python 中，仅通过 fixture 才能到达测试的对象。

为标记出的代码路径编写新测试之前，请先检查现有测试。

首次运行时显示“已证明 0”很正常。 证明会运行你的测试，因此只会针对你选择的函数运行，或在 opro start 的尝试预算内运行。

排名原理

每个未经验证的函数都会获得一个 OrangePro 风险分数，ORS = P × I × D：

• P：函数发生变更的可能性。变更历史、扇出、新代码和代码规模。
• I：函数可能造成的影响。入站引用、入口点位置、数据敏感性，以及两次调用内可到达删除或清除操作的路径所适用的最低分数。
• 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

与编码 Agent 配合使用

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）都必须附带原因，报告也会列出这些覆盖项。
• 权重和等级无法配置。

语言支持

• “仅匹配名称”表示看起来与函数相关的测试文件或测试名称会被标记为未确认（Check）。系统不会追踪调用，因此目前这些语言无法达到已关联或已验证状态。
• 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 个函数，每个函数草拟两个测试，顺序与工作清单一致；报告会显示这 20 个函数。草拟内容会保留，直至对应函数的代码发生变更。
• 复用一次运行时，何为“没有任何变更”： 提交、Git 不忽略的所有已修改或未跟踪文件、OrangePro 的设置和忽略文件、覆盖率文件、证明记录、start 选项、是否设置了模型密钥，以及分析版本。若测试草拟因提供商错误（额度不足、速率限制）而失败，则会重新完整运行。
• CSV 列映射遵循各工具的 CSV 导入器（参见导入 tests.csv）。首次导入时请检查导入预览。

隐私和网络使用

• 不会发送任何关于你的代码或运行的信息。 不会收集使用情况遥测数据。
• 源代码只在进程内读取，绝不会存储或上传。报告和证据图仅包含元数据，不包含你的源代码。
• 绝不会编辑你的源文件。 证明流程会在隔离副本中运行。
• 只有在你配置密钥后才会调用模型， 并且请求会直接从你的计算机发送给你选择的提供商。密钥、提供商、其端点和模型只从你的 shell 环境或 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 天出现一次（ORANGEPRO_FEEDBACK_COOLDOWN_DAYS）。该偏好设置只存储在你的计算机上。MCP 客户端会将链接作为可选结果元数据（_meta["ai.orangepro/feedback_url"]）获取，且不会要求你的 Agent 提示你提供反馈。

参考

{
  "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 平台还提供：

• 跨 PR 和仓库持久保存的图谱；
• 针对证据和风险变更的 CI 门禁；
• 需求与事件关联；
• 团队仪表板。

参与贡献

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

欢迎提交 PR。对于较大的更改，请先创建 issue。

MIT 许可证 · orangepro.ai