[codex] Pluggable Tool Registry#2

aboimpinto wants to merge 1 commit into

feat/external-tool-pr2-stacked-cleanaboimpinto/CodeWhale:feat/external-tool-pr2-stacked-cleanfrom

feat/pluggable-tool-registry-pr3-stackedaboimpinto/CodeWhale:feat/pluggable-tool-registry-pr3-stackedCopy head branch name to clipboard