Manticore GUIs made easy

An NUS intern builds a Ghidra MUI plugin for the Manticore symbolic execution engine — free and open source, unlike Binary Ninja — plus gRPC-based infrastructure that makes MUI plugins easier to use, maintain and develop across disassemblers.