A way to automatically export stl files from many mrb files?

It would take just a little scripting. The mrb files are just .zip files and they will have models in a vtk format that would be easy to convert to stl.