之前一直用的AI Studio，最近发现 Google 出品的 IDE开发工具 - Antigravity 强烈推荐给大家，免费又好用。可免费使用Gemini3 Pro、Claude 家的顶级模型。
唯一比较麻烦的是网络问题（懂的都懂），会出现登录无反应、不加载问题。
因为 Antigravity 默认不走HTTP代理，所以就算开了系统代理也没用。
解决办法
既然 Antigravity 不支持HTTP代理，我们可以开启 tun 模式解决，原理是通过创建一张虚拟网卡，从底层捕获并转发所有流量，这样就可以代理所有软件，不管关系软件支不支持。目前大部分科学上网工具都支持开启tun模式。
分应用代理
tun 模式有个问题，他是全局的，会代理所有软件，包括微信这些。我使用的美国节点很慢，导致影响我其他软件的正常使用。所以搞了半天这里推荐使用另一个代理软件 Profixer，它可以实现分应用代理。profixer 用法就不讲了，网上很多教程。
这里需要注意的是除了添加antigravity.exe 还要添加 language_server_windows_x64.exe，不然模型列表哪里会一直转圈。
这里2个exe的所在路径如下：
- C:\Users\k1995\AppData\Local\Programs\Antigravity\Antigravity.exe
- C:\Users\用户名\AppData\Local\Programs\Antigravity\resources\app\extensions\antigravity\bin\language_server_windows_x64.exe