Optimize software supply chain remediation portfolio
Choose exactly one accept, patch, upgrade, replace, isolate or remove option per governed component while unique application disruption paths, direct incident loss, transition/operating/upfront cost, license compliance, scenario availability, cross-option feasibility, budget, capacity and CVaR are optimized together with exact or disclosed beam search.
What it's for
Moves software supply-chain management from ranked CVEs to a board-ready patch/upgrade/replace/isolate/accept portfolio that prices business loss, delivery disruption, compliance and tail risk without double-counting dependency paths.
What you give it
Inputs split into evidence read from your connected systems, calibration your team owns, and numerical controls that affect precision but never the result's meaning.
| Field | Type | Role | Required |
|---|---|---|---|
| applications | array of objects (3 fields) ≥ 1 item | Evidence | Yes |
| beam_width | integer ≥ 1, ≤ 10000 | Numerical control | Optional |
| budget | number ≥ 0 | Your calibration | Yes |
| capacity_units | number ≥ 0 | Your calibration | Yes |
| components | array of objects (4 fields) ≥ 1 item | Evidence | Yes |
| exact_enumeration_limit | integer ≥ 1, ≤ 1000000 | Your calibration | Optional |
| exposure_edges | array of objects (5 fields) ≥ 1 item | Evidence | Yes |
| max_detail_rows | integer ≥ 1, ≤ 500 | Numerical control | Optional |
| maximum_cvar_total_loss | any | Your calibration | Optional |
| maximum_expected_total_loss | any | Your calibration | Optional |
| maximum_option_unavailability_probability | number ≥ 0, ≤ 1 | Your calibration | Optional |
| remediation_options | array of objects (14 fields) ≥ 1 item | Evidence | Yes |
| require_license_compliance | boolean | Your calibration | Optional |
| risk_aversion | number ≥ 0 | Your calibration | Optional |
| scenarios | array of objects (3 fields) ≥ 2 items | Evidence | Yes |
| tail_probability | number > 0, ≤ 0.5 | Your calibration | Optional |
Each remediation_options
record
| Field | Type | Required |
|---|---|---|
| action | one of "accept", "patch", "upgrade", "replace", "isolate", "remove" | Yes |
| available_scenario_ids | array of string | Yes |
| capacity_units | number (≥ 0) | Yes |
| component_id | string (non-empty) | Yes |
| dependency_option_ids | array of string | Yes |
| evidence_verified | boolean | Yes |
| exclusion_option_ids | array of string | Yes |
| id | string (non-empty) | Yes |
| is_current_state | boolean | Yes |
| license_compliant | boolean | Yes |
| operating_cost_scenarios | array of number (≥ 2 items) | Yes |
| residual_probability_multipliers | array of number (≥ 2 items) | Yes |
| transition_loss_scenarios | array of number (≥ 2 items) | Yes |
| upfront_cost | number (≥ 0) | Yes |
{
"applications": [
{
"evidence_verified": true,
"id": "checkout",
"value_at_risk": 200
},
{
"evidence_verified": true,
"id": "admin",
"value_at_risk": 80
}
],
"budget": 25,
"capacity_units": 2,
"components": [
{
"direct_loss_if_incident_scenarios": [
10,
20
],
"evidence_verified": true,
"id": "parser",
"incident_probability_scenarios": [
0.1,
0.4
]
},
{
"direct_loss_if_incident_scenarios": [
20,
40
],
"evidence_verified": true,
"id": "runtime",
"incident_probability_scenarios": [
0.05,
0.2
]
}
],
"exposure_edges": [
{
"application_id": "checkout", Truncated for display — the full payload is 191 lines.
What you get back
This is the actual output of running the example above — computed by the same function the platform calls, not an illustration.
{
"assumptions": [
"Each governed component receives exactly one executable accept, patch, upgrade, replace, isolate or remove option. Base incident probabilities, direct loss, application value, option effects, compatibility, availability and costs share one point-in-time scenario perimeter.",
"Overlapping dependency paths combine through multiplicative survival inside each unique application, so its value is never repeated per package or path. Direct incident cost, application disruption, transition, operating and upfront cost are complete and non-overlapping.",
"Exact mode certifies only the supplied finite model. Beam mode uses an optimistic cost bound and is not globally optimal; neither mode proves exploitability, causal remediation effects, compatibility, license interpretation or authority to change production.",
"Outputs are aggregate portfolio decision support, never maintainer, vendor or worker risk scores and never automatic authority to patch, isolate, remove, disclose, investigate, procure or terminate a relationship."
],
"component_diagnostics": [
{
"component_id": "parser",
"current_option_id": "parser-accept",
"option_count": 2,
"selected_action": "upgrade",
"selected_option_id": "parser-upgrade"
},
{
"component_id": "runtime",
"current_option_id": "runtime-accept",
"option_count": 2,
"selected_action": "isolate",
"selected_option_id": "runtime-isolate"
}
],
"constraints": {
"budget": 25,
"capacity_units": 2,
"maximum_cvar_total_loss": null,
"maximum_expected_total_loss": null,
"maximum_option_unavailability_probability": 0,
"require_license_compliance": true,
"risk_aversion": 0,
"tail_probability": 0.1
},
"decision": "software_supply_chain_remediation_portfolio_supported",
"method": "unique_application_supply_chain_multiple_choice_cvar_portfolio_v1",
"remediation_pareto_frontier": [
{
"cvar_total_cost_and_loss": 104.32,
"expected_total_cost_and_loss": 41.28,
"risk_feasible": true,
"selected_option_ids": [
"parser-accept",
"runtime-accept"
], Truncated for display — the full payload is 123 lines.
How it works
Constrained optimization — Pick the best feasible option under real limits — budget, headcount, dependencies, capacity — rather than ranking a list and hoping it fits.
- 1 Freeze unique application values, component-by-scenario incident probabilities and direct losses, exposure fractions, executable option effects/costs/availability, compatibility relations and current-state options.
- 2 For every complete policy, combine overlapping component paths through multiplicative survival inside each application, add non-overlapping direct/transition/operating/upfront costs, and enforce license, availability, dependency, exclusion, budget and capacity feasibility.
- 3 Apply expected-loss and CVaR gates, return the cost-loss-tail Pareto frontier, compare with the current policy, and disclose exact global certification or deterministic optimistic-cost beam search.
Before you trust it
Every tool in the catalog ships with the conditions under which its answer is meaningful — and the conditions under which it should abstain instead of guessing.
Assumptions & guardrails
- Objectives use commensurable locally governed value units, constraints reflect real feasibility, and uncertainty covers plausible adverse inputs.
- Options are executable, mutually complete and compatible; incident probabilities and residual multipliers are prospectively supported; values and cost categories are unique; scenario dependence and availability are coherent.
- The recommendation is optimal only for its stated objective, feasible set, evidence, and solver guarantee; it is not a universal management optimum.
- The portfolio is conditional decision support, not exploitability proof, license interpretation, compatibility guarantee, disclosure advice or automatic authority to patch, isolate, remove, procure, investigate or terminate a relationship.
Minimum evidence
- applications: at least 1 rows/items
- components: at least 1 rows/items
- exposure_edges: at least 1 rows/items
- scenarios: at least 2 rows/items
- remediation_options: at least 1 rows/items
- budget: required and organization-defined
- capacity_units: required and organization-defined
How to validate it
Preserve the assignment/adoption design and validate overlap, pre-period or placebo diagnostics, attrition, interference policy, and cluster-level uncertainty; never tune on the estimated effect.
Calibrating it to your org
Same for everyone
The mathematical kernel, validation rules, method version, and JSON output semantics are organization-independent; no tenant-trained coefficients or company benchmark is embedded in the function.
Specific to you
- versioned multiple-choice remediation registry joined to a deployed application-component exposure graph, prospectively supported option effects, compatibility test results, legal policy and finance-reconciled common scenarios while retaining current and do-nothing options
- application/component/value uniqueness, scenario law, risk and loss calibration, option executability/effects/compatibility/availability, license interpretation, cost perimeter, budget/capacity, expected-loss/CVaR appetite, solver boundary, evidence, change authority and accountable security/platform/legal/finance/product owners
Calibration workflow
- 1 Define the management decision, target outcome, aggregate unit, privacy boundary, cadence, and prediction/intervention horizon for this organization.
- 2 Build a tenant-scoped historical cohort using only information available before each prediction or decision; preserve zero periods, censoring, assignment probabilities, and unresolved outcomes when the method requires them.
- 3 Estimate statistical parameters on training history, but obtain costs, utilities, risk tolerance, practical-effect thresholds, capacity, and policy constraints from accountable decision owners.
- 4 Validate on later time windows or held-out aggregate units at the deployment grain, against a simple baseline and the function-specific validation strategy.
- 5 Deploy only if the returned decision clears evidence, overlap, calibration, robustness, and guardrail checks; warning, unsupported, schema-gap, and fallback decisions are abstentions.
- 6 Monitor realized outcomes, data drift, coverage, and decision regret; recalibrate at a governed cadence or after a detected regime/definition change, never merely because a stakeholder dislikes the result.
Call it from your AI
You don't wire up 388 tools in your MCP client. The GitRevio MCP server exposes 18 tools, three of which let an agent search the catalog, read a tool's schema, and run it — so the assistant finds this one on its own.
gitrevio_capabilities_search
{ "q": "choose exactly one accept patch upgrade" }
→ finds "optimize_software_supply_chain_remediation_portfolio"
gitrevio_capability_describe
{ "capability_id": "optimize_software_supply_chain_remediation_portfolio" }
→ returns the input schema and agent guidance shown on this page
gitrevio_capability_run
{ "capability_id": "optimize_software_supply_chain_remediation_portfolio", "arguments": { ... } }
→ returns the result shown above Works in Claude Desktop, Claude Code, Cursor, Cline, Continue.dev, Goose and Aider. See the MCP server.
Related tools
Audit software supply chain integrity
Audit the deployed runtime software supply chain from application roots through resolved dependency edges: reconcile SBOM freshness, version resolution, source pinning, artifact attestation, support horizon, license policy, vulnerability disposition, evidence coverage and unique application value without treating repository text as provenance or exploitability evidence.
Forecast software supply chain loss
Forecast aggregate software supply-chain loss with tenant-calibrated empirical-Bayes Gamma-Poisson incident frequencies, partially pooled lognormal loss marks, common frequency/severity/business scenarios, and multiplicative unique-application disruption paths; unsupported risk classes make the output diagnostic-only.
Audit cyber control evidence integrity
Audit whether claimed defense in depth is supported by current independent control tests mapped to declared attack-path steps, while preserving duplicate mappings and counting each exposed business asset only once.
Audit data sovereignty residency evidence integrity
Audit every governed data asset's point-in-time storage, processing, replica, backup, log/cache and key locations plus cross-region transfers against an effective counsel-supplied residency policy, independent evidence, encryption controls and retention limits.
Audit workforce identity access evidence integrity
Audit the point-in-time chain from an opaque workforce subject through authorized accounts, independent identity evidence, approved least-privilege grants and MFA/device-backed access events.
Bayesian account risk triage
Prioritize human review of auditable account-security and policy-conflict evidence using Bayes factors and decision costs.