capture-learning | formal-verify | ClaudePluginHub