smart-contract-verifier (npm): Smart Contract Verifier
Keywords: ethereum|smart contract|verify|solidity|contract