[#67235848] Publish tools

PLEASE DO NOT MERGE

However, comments very welcome.