feat: add --claude, --codex, --auto flags for AI agent automation#115

skulidropek merged 2 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

alex-radchenko-github:add-flags-claude-autoalex-radchenko-github/docker-git:add-flags-claude-autoCopy head branch name to clipboard