(id: string)
| 144 | } |
| 145 | |
| 146 | function deleteServer(id: string) { |
| 147 | updateSettings({ |
| 148 | mcpServers: settings.mcpServers.filter((s) => s.id !== id), |
| 149 | }); |
| 150 | } |
| 151 | |
| 152 | function addServer() { |
| 153 | if (!newServer.name.trim() || !newServer.command.trim()) return; |