This directory contains various scripts to work with metamath files.
Most are shell scripts (on Windows you can run them via Cygwin).
Most assume that the "metamath" executable is available.
