Deed — MCP-сервер для Claude Code: что делает и как установить
Инструмент для проверки сгенерированного ИИ кода по контрактам и проверке патчей. Помогает оценивать поведение программ через локальный MCP-сервер.
Открыть на GitHubЧто делает Deed
Deed связывает агента с контрактным языком программирования. Набор инструментов анализирует системные возможности и строки эффектов. Проверка идёт на уровне контрактов. Инструмент сверяет квитанции изменений до и после правок, чтобы человек мог быстро оценить машинный код.
Для запуска сервера требуется среда Rust, так как утилита компилируется через команду cargo install deed-lang. Исполняемый файл deed открывает доступ к протоколу через стандартный ввод-вывод командой deed mcp.
Какие задачи решает
- проверять контракты и типы в коде от нейросетей
- контролировать системные возможности и эффекты правок
- сверять квитанции изменений до и после наложения патча
- тестировать и валидировать проекты на Deed через агента
Примеры запросов агенту
- Запусти проверку контрактов и типов для проекта greeting с помощью deed check
- Создай новый проект greeting и запусти тесты через deed test
- Подключись к серверу deed mcp и оцени изменения в текущем патче
Как установить Deed
Установка
Команды запуска нет в реестре MCP — смотрите README репозитория
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Deed
Как установить Deed в Claude Code?
Сначала скомпилируйте бинарник командой cargo install deed-lang. Затем настройте запуск через deed mcp по stdio или подключите io.github.deed-lang/deed из реестра MCP.
Что делает Deed?
Deed проверяет код, написанный ИИ, сопоставляя типы данных, контракты и системные права. Это упрощает человеку приёмку сгенерированных правок.
Как запустить MCP-сервер Deed локально?
Сервер работает через стандартный ввод-вывод. Для запуска процесса выполните команду deed mcp.
