Vaadin 官方插件

从 vaadin/agent-marketplace 安装 vaadin-skills@vaadin-marketplace。插件自动连接 mcp.vaadin.com/docs，文档查询无需登录。

codex plugin marketplace add vaadin/agent-marketplace --ref main
codex plugin add vaadin-skills@vaadin-marketplace

# 预览：
# codex plugin list --marketplace vaadin-marketplace --available --json

# 只要 MCP、不装技能：
# codex mcp add vaadin --url https://mcp.vaadin.com/docs

# [mcp_servers.vaadin]
# url = "https://mcp.vaadin.com/docs"

# 实验第二插件：
# codex plugin add vaadin-agent-tools@vaadin-marketplace