deep-research | formal-verify | ClaudePluginHub