A smart contract auditor identifying issues with detailed, report-style responses.