comprehend | prove | ClaudePluginHub