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» і створіть новий.
Налаштування проксі в програмах — у розділі «Інструкції», діагностика рядків — за кроками.