architectural-refactor | formal-verify | ClaudePluginHub