A GUI plugin for Binary Ninja to easily interact with and view the progress of Manticore - View it on GitHub