Grok developer tools Resource/http/420
How to: Grok developer tools http/420
Add developer tools to Grok
-
01
Open .mcp.json (in your project root) and merge this in. Keep any servers already there.
{
"mcpServers": {
"developer-tools": {
"type": "http",
"url": "https://programmes.net/mcp"
}
}
}-
02
Save the file and restart Grok.
-
03
http/420 is surfaced wherever your client lets you attach context. It is context to attach, not an action to run.
-
04
If it does not appear, check that developer tools is connected and that you are looking at its resources rather than its tools.
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 resource, other clients
Read from the server itself, by connecting to it and calling resources/list on 5 November 2026.
A listing does not declare its resources, so asking is the only way to know them, and this
is what the server actually offers rather than what its listing claims. Names only are
stored; connect the server for each resource's type and contents.