国内服务器remote ssh后目前没找到可以用antigravity的方式
原因大概如图： 
 [截屏2025-11-19 下午3.45.11] 
[截屏2025-11-19 下午3.50.52] 
[截屏2025-11-19 下午3.51.01] 
后记
如哈雷佬所说，走tun可以连接，远程服务器即使设置http/https/all_proxy，抱歉，antigravity目前不会读取，也无法设置。你在local/remote中设置http_proxy，antigravity也不是当环境变量来用。