VS Code MisarDev MCP Server Prompt/search_the_codebase
How to: VS Code MisarDev MCP Server search_the_codebase
Add MisarDev MCP Server to VS Code
-
01
Open .vscode/mcp.json and merge this in. Keep any servers already there.
{
"servers": {
"misardev-mcp": {
"type": "http",
"url": "https://api.misar.io/dev/mcp"
}
}
}-
02
Save the file and restart VS Code.
-
03
search_the_codebase is surfaced in the client's prompt or command menu. Unlike a tool, you invoke it deliberately — VS Code will not call it for you.
-
04
If it does not appear, check that MisarDev MCP Server is connected and that you are looking at its prompts rather than its tools.
Requires agent mode. MCP: Open User Configuration puts the same block in every workspace. VS Code docs
Set these first
MisarDev MCP Server will not start until these are set, so it never reaches VS Code.
-
MISARDEV_API_KEY -
MISARDEV_BASE_URL
Same prompt, other clients
Read from the server itself, by connecting to it and calling prompts/list on 14 November 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.