在这个网站里怎么去下载这里提供的工具？

Answer 1

我之前培训过一次,可以通过maven去构建Tiny。

在Tiny的主页里也有介绍。