Zed RoboDebut Resource/submission_instructions
How to: Zed RoboDebut submission_instructions
Add RoboDebut to Zed
-
01
Open ~/.config/zed/settings.json and merge this in. Keep any servers already there.
{
"context_servers": {
"submissions": {
"url": "https://robodebut.com/api/mcp"
}
}
}-
02
Save the file and restart Zed.
-
03
submission_instructions 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 RoboDebut is connected and that you are looking at its resources rather than its tools.
Merge this into your existing settings object — do not replace the file. Zed docs
Same resource, other clients
Read from the server itself, by connecting to it and calling resources/list on 14 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.