GitHub repository: sambacha/solidity-1
Description: This is solc-verify, a modular verifier for Solidity.