Links for tool-server-generator