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

skulidropek merged 3 commits into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

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