The command line interface for Lever