Where can I find the official MCP server?

It worked a few days ago, but now it fails to connect.

If you provide an official MCP server, you must also guarantee high availability because more and more Vaadin devs will use coding agents.