Renyi — MCP-сервер для Claude Code: что делает и как установить
Предоставляет агентам среду запуска скриптов Renyi со строгим контролем прав и аудит-трейлом. Пригодится, когда нельзя доверять слепому выполнению кода.
Открыть на GitHubЧто делает Renyi
Renyi создан как специализированный язык сценариев для задач ИИ-агентов. Через протокол MCP сервер подключает компилятор, форматирование, запуск тестов и карту проекта к Claude Code и другим средам разработки. Файлы программ сохраняются с расширениями .renyi или .ry.
Каждая функция обязана объявлять доступные ей ресурсы прямо в сигнатуре: пути к файлам, адреса хостов или лимиты обращений. Любая попытка обратиться к диску или сети мимо сигнатуры немедленно блокируется компилятором. Сторонние зависимости тоже проверяются статически и не могут самостоятельно расширить выданные скрипту права. Инструментарий включает семантический дифференциал (--diff), разбивку на фрагменты для векторного поиска (--chunks) и запуск через renyi mcp.
Среда протоколирует каждый запуск программы со всеми входными данными, хешами кода и выданными правами. За счёт этого любое действие агента можно воспроизвести повторно в офлайн-режиме по сохранённому манифесту.
Какие задачи решает
- изолировать доступ агента к файловой системе и внешним адресам
- проверить синтаксис и эффекты скрипта на Renyi до его выполнения
- собрать карту проекта и семантический diff для контекста модели
- воспроизвести прошлый запуск программы в офлайн-режиме по манифесту
Примеры запросов агенту
- Проверь типы и права доступа в скрипте
audit.renyiперед запуском - Сделай семантический diff проекта через инструментарий Renyi
- Запусти тесты для файла
workers.ryи запиши отчёт о выполнении
Как установить Renyi
Установка
Команды запуска нет в реестре MCP — смотрите README репозитория
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Renyi
Как установить Renyi в Claude Code?
На Linux и macOS выполните скрипт командой curl -fsSL https://raw.githubusercontent.com/renyi-lang/renyi/main/install.sh | sh. После завершения сервер запускается вызовом renyi mcp в конфигурации агента.
Что делает MCP-сервер Renyi?
Он предоставляет агенту средства проверки типов, запуска тестов, форматирования и построения карты кодовой базы на языке Renyi. Сервер также готовит семантические диффы и фрагменты для эмбеддингов.
Чем контроль эффектов в Renyi отличается от системной песочницы?
Песочница накладывает общие лимиты на весь системный процесс, тогда как Renyi требует описания прав в заголовке каждой отдельной функции. Если обращение к ресурсу не задекларировано, компилятор не допустит старт программы.
