Zed DERO MCP Server Prompt/inspect_smart_contract
How to: Zed DERO MCP Server inspect_smart_contract
Add DERO MCP Server to Zed
-
01
Open ~/.config/zed/settings.json and merge this in. Keep any servers already there.
{
"context_servers": {
"dero-mcp-server": {
"url": "https://mcp.derod.org/mcp"
}
}
}-
02
Save the file and restart Zed.
-
03
inspect_smart_contract is surfaced in the client's prompt or command menu. Unlike a tool, you invoke it deliberately — Zed will not call it for you.
-
04
If it does not appear, check that DERO MCP Server is connected and that you are looking at its prompts rather than its tools.
Merge this into your existing settings object — do not replace the file. Zed docs
Same prompt, other clients
Read from the server itself, by connecting to it and calling prompts/list on 24 September 2026.
A listing does not declare its prompts, 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 prompt's arguments.