`eiffel-new` is a command line program to create a new Eiffel project with void safe settings and including the Espec unit testing framework and Mathmodels.