Besides the web interface, mkbTT is available as a bytecode executable for Linux. Alternatively, you can retrieve the sources and compile the tool on your own. You might also want to download the 101 problems used for experiments. For some hints on how to call mkbTT, please check the usage section.
To compile the sources, extract the .tar.gz archive and run
$ make libs
$ make
which produces an executable that can be invoked as described in the usage section (see also the included README file).