Comment by dleslie

I don't see a download link for that:

https://antigravity.google/docs/ide/extensions/

What I see is integrations for specific editors.