OrangePro MCP Server

Find test gaps, generate grounded tests, and dynamically prove behavior with mutation testing.

Remote serverstreamable-httpPython

What is the OrangePro MCP Server?

Find test gaps, generate grounded tests, and dynamically prove behavior with mutation testing.

What it actually does

opro builds a knowledge graph from your local checkout, maps every behavior in your code, shows which ones are tested and which aren't, and generates integration-level tests grounded in real symbols — not hallucinated imports. It runs as a CLI and a local stdio MCP server.

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
orangepro_startOne-command setup: analyze + report + next actions
orangepro_analyze_sourcesBuild/refresh the evidence graph
orangepro_generate_testsGenerate grounded tests for gaps
orangepro_proveRun mutation-kill oracle on a behavior
orangepro_prove_loopSetup commands + dynamic proof + report refresh for one behavior
orangepro_find_test_gapsList behaviors with weak/missing tests, ranked by risk
orangepro_graph_scoreGraph readiness score (0–100)
orangepro_statusWorkspace state without generating anything
orangepro_doctorRecommend next evidence to improve quality
orangepro_rtmRequirements traceability matrix
orangepro_statsAggregate statistics
orangepro_changed_impactWhat a diff touches (requires git + base ref)
orangepro_record_runRecord a test run result
orangepro_explain_testExplain why a test was generated

How to install the OrangePro MCP Server

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

From the project documentation. Replace placeholders and example paths before connecting.

Example prompts to try

  • “Use OrangePro to orangepro start.”
  • “Use OrangePro to orangepro analyze sources.”
  • “Use OrangePro to orangepro generate tests.”

Frequently asked questions

Find test gaps, generate grounded tests, and dynamically prove behavior with mutation testing. Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.