最近使用Antigravity，因为平常做实验都是使用ssh连接服务器，在服务器上跑实验，但是由于学校服务器没有设置代理，就不能正常使用Antigravity 有啥解决方法吗