Use public container IP in managed agent prompts#203

skulidropek wants to merge 1 commit intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:issue-78-public-container-ipskulidropek/docker-git:issue-78-public-container-ipCopy head branch name to clipboard