MCP-сервер Prokso в Zed
Zed поддерживает удалённые MCP-серверы: в настройках задают адрес и заголовки, так что ключ API Prokso передаётся так же, как в REST API, — в заголовке Authorization.
1. Что нужно
- Zed с панелью агента (Agent Panel). Документация Zed не указывает минимальную версию для удалённых серверов, поэтому обновите редактор до свежей версии.
- Ключ API Prokso. Создайте его в кабинете: «Настройки» → «API». Ключ показывается полностью только один раз.
Список инструментов и что они возвращают — на странице MCP-сервер Prokso.
2. Блок context_servers
Откройте Settings → AI → MCP Servers или выполните действие zed: open settings file и добавьте:
{
"context_servers": {
"prokso": {
"url": "https://prokso.com/api/v1/mcp",
"headers": {
"Authorization": "Bearer КЛЮЧ"
}
}
}
}Если в файле уже есть другие настройки, вставьте только блок context_servers внутрь имеющихся фигурных скобок. Имя prokso произвольное: так сервер подписан в списке и в правилах разрешений.
Заголовок Authorization обязателен. Без него Zed предложит вход через OAuth, а у нашего сервера OAuth нет — вход только ключом. Подстановку переменных окружения в заголовках документация Zed не описывает, поэтому ключ вписывается текстом.
3. Как проверить
- Откройте Settings → AI → MCP Servers: возле
proksoдолжен гореть зелёный индикатор с подсказкой «Server is active». Другой цвет означает проблему — подсказка скажет какую. - В панели агента напишите: «Через prokso покажи мой баланс». Упоминание сервера по имени подталкивает агента взять его инструменты:
get_account,get_prices,list_plans,get_plan,get_proxy_lines. - По умолчанию Zed спрашивает разрешение перед каждым вызовом инструмента (
agent.tool_permissions.defaultсо значением"confirm"). Отдельные инструменты можно разрешить правилами видаmcp:prokso:list_plans.
4. Примеры запросов
- «Сколько трафика осталось на моих планах?»
- «Дай 5 строк SOCKS5 с фиксированными IP в Польше для плана 12».
- «Покажи хост и порты плана 12 и напиши пример подключения для requests в Python».
- «Дай 20 строк с новым адресом на каждый запрос из США, штат Техас, для плана 12».
Последний запрос использует точное гео: такой трафик считается вдвое, а наличие адресов в конкретном штате или городе мы не гарантируем. Все порты и параметры — в справочнике шлюза. Инструменты только читают данные — покупка в кабинете или через REST API.
5. Если не работает
- Zed открывает вход в браузере — заголовок не применён. Проверьте вложенность:
headersдолжен лежать внутриprokso, рядом сurl. - 401 — ключ неверный или отозван; проверьте, что после
Bearerстоит ровно один пробел. - 429 — больше 60 запросов в минуту с одним ключом. Подождите столько секунд, сколько в заголовке
Retry-After.
Проверьте сервер без редактора — в ответе должно быть пять инструментов:
curl -X POST https://prokso.com/api/v1/mcp -H "Authorization: Bearer КЛЮЧ" -H "Content-Type: application/json" -d '{"jsonrpc":"2.0","id":1,"method":"tools/list"}'Другие ошибки сервера — на странице MCP-сервера.
6. Безопасность ключа
- Ключ в файле настроек лежит открытым текстом. Файл личный, но если вы храните настройки в git (dotfiles), ключ попадёт туда — вынесите блок или исключите файл.
- Создайте для Zed отдельный ключ (до 5 на аккаунт), чтобы отозвать только его.
- Если ключ мог попасть в чужие руки, отзовите его в «Настройки» → «API» и создайте новый.
Настройка прокси в программах — в разделе «Инструкции», диагностика строк — по шагам.