feat(prompt): enforce subagents-first workflow in managed prompts#114

skulidropek merged 2 commits intomainProverCoderAI/docker-git:mainfrom

issue-108ProverCoderAI/docker-git:issue-108Copy head branch name to clipboard