multi-model-meta-analysis | formal-verify | ClaudePluginHub