Mechanized Mantis - a Mantis command line interface