formal-logic-reasoner | babysitter | ClaudePluginHub