A Formula command-line tool