dead-code-sweep | formal-verify | ClaudePluginHub