Replace the listed tools and instead refer to the repository which contains full details of the tools that are provided by the server.