# Deed

Инструмент для проверки сгенерированного ИИ кода по контрактам и проверке патчей. Помогает оценивать поведение программ через локальный MCP-сервер.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed · ★ 9
- Автор: deed-lang
- Лицензия: Apache-2.0 · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/deed-lang/deed/tree/HEAD/crates/deed-cli
- Обновлён: 2026-08-14
- HTML: https://affpapa.org/nevibecode/mcp/deed

## Что делает

Deed связывает агента с контрактным языком программирования. Набор инструментов анализирует системные возможности и строки эффектов. Проверка идёт на уровне контрактов. Инструмент сверяет квитанции изменений до и после правок, чтобы человек мог быстро оценить машинный код.

Для запуска сервера требуется среда Rust, так как утилита компилируется через команду `cargo install deed-lang`. Исполняемый файл `deed` открывает доступ к протоколу через стандартный ввод-вывод командой `deed mcp`.

## Требования
- Нужно: готовый бинарник из релизов репозитория

## Установка

### Claude Code (родная платформа)

**Установка**
- Команды запуска нет в реестре MCP — смотрите README репозитория

## Когда брать
- проверять контракты и типы в коде от нейросетей
- контролировать системные возможности и эффекты правок
- сверять квитанции изменений до и после наложения патча
- тестировать и валидировать проекты на Deed через агента

## Примеры запросов агенту
- Запусти проверку контрактов и типов для проекта greeting с помощью deed check
- Создай новый проект greeting и запусти тесты через deed test
- Подключись к серверу deed mcp и оцени изменения в текущем патче

## Похожие
- [Serena MCP: the IDE for your agent](https://affpapa.org/nevibecode/mcp/serena-mcp-the-ide-for-your-agent.md) — MCP-сервер · ★ 30739
- [Compiler Explorer](https://affpapa.org/nevibecode/mcp/compiler-explorer.md) — MCP-сервер · ★ 19155
- [Claude Code Explorer MCP](https://affpapa.org/nevibecode/mcp/claude-code-explorer-mcp.md) — MCP-сервер · ★ 6236
- [Tolgee](https://affpapa.org/nevibecode/mcp/tolgee.md) — MCP-сервер · ★ 4140
- [jshookmcp](https://affpapa.org/nevibecode/mcp/jshookmcp.md) — MCP-сервер · ★ 2066
- [pyscn](https://affpapa.org/nevibecode/mcp/pyscn.md) — MCP-сервер · ★ 1097

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md