Grok developer tools search_workspace_docs

Add developer tools to Grok

1. 01

   Open .mcp.json (in your project root) and merge this in. Keep any servers already there.

{
  "mcpServers": {
    "developer-tools": {
      "type": "http",
      "url": "https://workspace-developer.goog/mcp"
    }
  }
}

2. 02

   Save the file and restart Grok.

3. 03

   Ask for something search_workspace_docs does. Grok lists the server's tools on connect and calls search_workspace_docs itself — you do not invoke it by name.

4. 04

   If nothing happens, check the server is running and that developer tools's identifier in your config matches the one above exactly.

Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs

Same tool, other clients

• Claude Code
• Claude Desktop
• Cursor
• VS Code
• Zed
• Windsurf
• Cline
• Gemini CLI
• ChatGPT
• Claude.ai
• LangChain