如何用 Gradio 构建 MCP Server

Gradio 官方教程介绍如何用几行 Python 把 Gradio 应用变成 MCP Server，只需在 launch() 中设置 mcp_server=True，函数即被自动转换为 LLM 可调用的工具，docstring 会生成工具描述和参数。