| name | opro |
| description | Use OrangePro to find behavioral test gaps and generate grounded tests for this repository. |
Use the OrangePro MCP tools for local evidence-graph analysis and grounded test generation.
- Start with
orangepro_start for the current checkout.
- If OrangePro reports a large-repo scope breakdown, prefer a focused scope for AI/generation; full deterministic analysis is still allowed.
- For PR work, call
orangepro_generate_tests with base_ref=main.
- For baseline work, call
orangepro_find_test_gaps, pick one high-priority gap, then call orangepro_generate_tests for that target.
- Write only generated tests that include
run_hints; drafts are context, not runnable claims.
- Run the suggested command from the owning package directory.
- After a pass, call the returned
prove_run args so OrangePro can dynamically prove the target. Use record_run only for static diagnostics.
- Report status as Proven, Reproven, Runtime-covered, Associated signal, or No link. Never promote Associated signal or AI links to Proven.
OrangePro may use weak AI grounding when a provider key is configured, but AI links are suggestions for generation only and never change Proven coverage.