CLI for running the LEAN engine locally and in the cloud - View it on GitHub