如何将ESP库安装到arduino IDE中?

我想在工作中将ESP库安装到arduino IDE中。我有代理限制，我无法通过 IDE 中的库管理器下载它。
但我可以下载任何我想要的东西。只有大多数程序有限制。
我不想将它下载回家并进行便携式安装。