proof-structure-analyzer | babysitter | ClaudePluginHub