fix(app): process first CLI TUI input#280

konard wants to merge 2 commits into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-274-1f6a9d48fe85konard/ProverCoderAI-docker-git:issue-274-1f6a9d48fe85Copy head branch name to clipboard