# agent_ui: Allow to uninstall agent servers from the settings view \(\#42445\) · gitcafe/zed

[View on GitCafe](https://git.cafe/gitcafe/zed/commit/8467a3dbd6aa3af529de021226d9196f2dc621d6)

Repository: [gitcafe/zed](https://git.cafe/gitcafe/zed)

Visibility: public

Requested revision: 8467a3dbd6aa3af529de021226d9196f2dc621d6

Requested commit: 8467a3dbd6aa3af529de021226d9196f2dc621d6

Commit: 8467a3dbd6aa3af529de021226d9196f2dc621d6

Tree: 61a7f307e8707bf420d5deb7273f8b8135620f8a

Author: Danilo Leal

Committer: GitHub

## Message

```
agent_ui: Allow to uninstall agent servers from the settings view (#42445)

This PR also adds items within the "Add Agent" menu to:
1. Add more agent servers from extensions, opening up the extensions
page with "Agent Servers" already filtered
2. Go to the agent server + ACP docs to learn more about them

I feel like having them there is a nice way to promote this knowledge
from within the product and have users learn more about them.

<img width="500" height="540" alt="Screenshot 2025-11-11 at 10  46 3@2x"
src="https://github.com/user-attachments/assets/9449df2e-1568-44d8-83ca-87cbb9eefdd2"
/>

Release Notes:

- agent: Enabled uninstalled agent servers from the agent panel's
settings view.
```

## Parents

- [ee2e69065714297679d199c25bb25bde558dacdc](https://git.cafe/gitcafe/zed/commit/ee2e69065714297679d199c25bb25bde558dacdc?format=markdown)

[Source at this commit](https://git.cafe/gitcafe/zed/tree/8467a3dbd6aa3af529de021226d9196f2dc621d6?format=markdown)