Ability to remove external agents

[tredondo]

What are you proposing?

A clear way to uninstall external agents that Zed downloaded and installed automatically, or if they were found in the system already installed, a mechanism to not use them.

Why does this matter?

I somehow ended up with Claude Code, Codex, and Gemini installed, apparently, judging by the checkmarks next to them in the sceenshot below; though in ~/.local/share/zed/external_agents I only saw Claude Code).

I don't want to use any of these external agents (I'm bringing my own API key), but I can't figure out how to "uninstall" them from Zed.

Removing external agents would make it clear which of the 3 scenarios in Getting Started I'm using - namely, bringing my API keys.

Are there any examples or context?

Screenshots, mockups, workflows, or examples from other tools.

Possible approach

There's nothing in Zed's settings.json that indicated those 3 external agents were enabled. I never installed them standalone; Zed automatically downloaded them.

The Settings UI doesn't show anything about external agents.

[franciskafyi]

We have moved all external agents to the Registry and you can now delete the ones you aren't using 👍