NASA JPL · CADRE · Multi-Agent Autonomy

Preflight three lunar rovers before they wake up on the Moon.

CADRE deploys three autonomous rovers to Reiner Gamma — leader election, GPR formation sync, thermal midday sleep, power budgeting — all without Earth in the loop. Mission Oracle validates distributed PS&E plans locally with receipt JSON before sim or test rovers.

16
passing tests
5
constraint rules
4
demo missions

The problem JPL is solving

CADRE mission

Three rovers + base station explore the lunar subsurface via coordinated GPR. The Strategic Planner (MEXEC) schedules surveys and sleep windows when midday temperatures hit 140 °C.

Public pain

JPL's V&V team must prove all autonomy layers integrate through sim and test rovers — but distributed plan defects surface late. Assurance for Autonomy calls for automated oracles, not exhaustive manual review.

This product

plan → run → doctor → report on mission YAML. Catches leader conflicts, thermal violations, power overruns. Independent of any single upstream PR.

Live dashboard

Mission ready

load a receipt to begin
0
Critical
0
Warning
0
Info

CADRE constraints

Leader election
Thermal midday
Power + sleep
GPR formation

Mission

    Findings

    • No receipt loaded.

    Severity breakdown

    CLI — 60-second demo

    # install
    pip install cadre-mission-oracle

    # healthy lunar day
    cadre-oracle run examples/demo/ref-lunar-day.yaml

    # thermal violation (NOT READY, exit 2)
    cadre-oracle run examples/demo/broken-thermal-midday.yaml -o out/receipts/latest.json
    cadre-oracle doctor out/receipts/latest.json