An advisory copilot

Where advice meets proof.