feat(docker-git): shared package cache, multi_agent config, and hard delete#68

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

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