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. Як перевірити

  1. Відкрийте Settings → AI → MCP Servers: біля prokso має світитися зелений індикатор з підказкою «Server is active». Інший колір означає проблему — підказка підкаже яку.
  2. У панелі агента напишіть: «Через prokso покажи мій баланс». Згадка сервера за назвою підштовхує агента взяти його інструменти: get_account, get_prices, list_plans, get_plan, get_proxy_lines.
  3. За замовчуванням 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» і створіть новий.

Налаштування проксі в програмах — у розділі «Інструкції», діагностика рядків — за кроками.

MCP у Cline →Як користуватися Prokso