Astro Docs MCP for Antigravity

How to use the Astro docs MCP server with Antigravity.