Zed AgentDiet SEC EDGAR Public Company 10-K/10-Q Financial Intelligence Prompt/distill-url-to-markdown
How to: Zed AgentDiet SEC EDGAR Public Company 10-K/10-Q Financial Intelligence distill-url-to-markdown
Add AgentDiet SEC EDGAR Public Company 10-K/10-Q Financial Intelligence to Zed
-
01
Open ~/.config/zed/settings.json and merge this in. Keep any servers already there.
{
"context_servers": {
"sec-intel": {
"url": "https://sec-intel.agentdiet.dev/mcp"
}
}
}-
02
Save the file and restart Zed.
-
03
distill-url-to-markdown 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 AgentDiet SEC EDGAR Public Company 10-K/10-Q Financial Intelligence 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 19 October 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.