安装 Vaadin 技能与文档插件

Vaadin 插件用 marketplace 加 vaadin/agent-marketplace，再 plugin add vaadin-skills。官方 Codex 页把技能和文档 MCP 打成一条插件：先加 GitHub marketplace（钉 --ref main），再装 vaadin-skills。插件 .mcp.json 会登记远程文档入口，不必再手写。

在普通终端装，不要在 Codex TUI 里跑：

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

清单 .agents/plugins/marketplace.json 的 name 是 vaadin-marketplace，插件 name 是 vaadin-skills，所以是 vaadin-skills@vaadin-marketplace。装前可预览：

codex plugin list --marketplace vaadin-marketplace --available --json

codex plugin list 应看到 installed, enabled。0.154 起可先检查当前会话；未显示插件时再新开会话。HTTP MCP 至少要 CLI 0.43；报 missing field command 就 npm install -g @openai/codex@latest。marketplace 过期时官方是：

codex plugin marketplace upgrade

upgrade 可以不带名字；对照清单名才是 vaadin-marketplace，不是仓库路径。同一份清单还有实验插件 vaadin-agent-tools@vaadin-marketplace（脚手架、主题检查），官方 Codex 页主路径只写 vaadin-skills，不要把它当必装。

只要远程 MCP、不装技能时，官方 TOML 是：

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

CLI 等价：

codex mcp add vaadin --url https://mcp.vaadin.com/docs

用户配置中的服务名是 vaadin。URL 是 /docs，不要再拼 /mcp。这是公开文档 Streamable HTTP，不要写 command，不要 mcp login vaadin，不要 API key。已经装了 vaadin-skills@vaadin-marketplace 就不要重复配置 vaadin 表。技能仓 README 还可以 codex mcp add javadoc --url https://www.javadocs.dev/mcp；那是 javadocs.dev，不是插件自带，不要和 vaadin 混用。

验证可让它生成一个 Vaadin 登录表单，或 codex mcp list 看 vaadin。改 UI、改主题保留操作审批。

网页 Cloud 不读取 ~/.codex/config.toml。配置后重新打开会话。用 codex mcp get vaadin 看传输是 streamable_http，url 是 https://mcp.vaadin.com/docs。