Reenable Tavily search in smoke-copilot workflow

.github/workflows/smoke-copilot.md

@@ -13,6 +13,8 @@ permissions:
   issues: read
 name: Smoke Copilot
 engine: copilot
+imports:
+  - shared/mcp/tavily.md
 network:
   allowed:
     - defaults
@@ -59,8 +61,9 @@ strict: true
 1. **GitHub MCP Testing**: Review the last 2 merged pull requests in ${{ github.repository }}
 2. **Serena Go Testing**: Use the `serena-go` tool to run a basic go command like "go version" to verify the tool is available
 3. **Playwright Testing**: Use playwright to navigate to <https://github.com> and verify the page title contains "GitHub"
-4. **File Writing Testing**: Create a test file `/tmp/gh-aw/agent/smoke-test-copilot-${{ github.run_id }}.txt` with content "Smoke test passed for Copilot at $(date)" (create the directory if it doesn't exist)
-5. **Bash Tool Testing**: Execute bash commands to verify file creation was successful (use `cat` to read the file back)
+4. **Tavily Web Search Testing**: Use the Tavily MCP server to perform a web search for "GitHub Agentic Workflows" and verify that results are returned with at least one item
+5. **File Writing Testing**: Create a test file `/tmp/gh-aw/agent/smoke-test-copilot-${{ github.run_id }}.txt` with content "Smoke test passed for Copilot at $(date)" (create the directory if it doesn't exist)
+6. **Bash Tool Testing**: Execute bash commands to verify file creation was successful (use `cat` to read the file back)
 
 ## Output
 

actions/setup/sh/convert_gateway_config_copilot.sh

@@ -63,7 +63,8 @@ echo "Target domain: $MCP_GATEWAY_DOMAIN:$MCP_GATEWAY_PORT"
 # }
 #
 # The main differences:
-# 1. Copilot requires the "tools" field
+# 1. Copilot requires the "tools" field, always set to ["*"] (wildcard)
+#    Tool filtering is handled at the gateway level
 # 2. URLs must use the correct domain (host.docker.internal) for container access
 #    The gateway may output 0.0.0.0 or localhost which won't work from within containers
 
@@ -73,8 +74,8 @@ URL_PREFIX="http://${MCP_GATEWAY_DOMAIN}:${MCP_GATEWAY_PORT}"
 jq --arg urlPrefix "$URL_PREFIX" '
   .mcpServers |= with_entries(
     .value |= (
-      # Add tools field if not present
-      (if .tools then . else . + {"tools": ["*"]} end) |
+      # Always use wildcard for tools (filtering done at gateway level)
+      (.tools = ["*"]) |
       # Fix the URL to use the correct domain
       # Replace http://anything:port/mcp/ with http://domain:port/mcp/
       .url |= (. | sub("^http://[^/]+/mcp/"; $urlPrefix + "/mcp/"))