Claude Code does most of this stuff now already, in terms of verifications and citations, almost to a fault.