feat: add project list scrolling and compact prompt path#70

skulidropek merged 1 commit intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:issue-66skulidropek/docker-git:issue-66Copy head branch name to clipboard