Sublime Text Plugin for the Annotary Smart Contract Verification Tool - View it on GitHub