process-hunter | formal-verify | ClaudePluginHub