[workspace] members = ["mp", "mp_core", "radarg_plugin_interface"]