Cray Inc. fork of libmi. A gdb/mi interface library.