ERC-20 Verifier is an OpenZeppelin tool created to confirm the underlying structure of any smart contract that's verified on Etherscan.  Users can scan known smart contracts and be sure that they're verified. Developers can get an overview of the underlying logic of a smart contract, although the tool doesn't go into how the various functions execute.