A plugin for KSP