research-prompt | formal-verify | ClaudePluginHub