Reverify MCP
MCP-сервер и CLI, где детерминированные инструменты проверяют каждое утверждение агента о коде и бинарниках по фактам
- 1 340 ★ репозитория
- Последний коммит
- MIT
Расширенный доступ
Почему такой уровень
- Запускает анализ файлов и меняет настройки агентов при установке хуков
Установка
- Работает в
Ручная установка
pip install reverifyБазовый режим; для полного анализа бинарников pip install "reverify[full]" или "reverify[angr]".
Доступ и проверки
Как мы проверяемРасширенный доступИнструмент запускает код или ходит в сеть, а внешние данные только читает.
- Запускает анализ файлов и меняет настройки агентов при установке хуков
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
Reverify делает детерминированный инструмент судьей: модель выдвигает утверждение о структуре или поведении, а инструмент проверяет его по самому артефакту и возвращает вердикт с доказательствами. Модель не может сама объявить факт истинным. Команда reverify verify и MCP-сервер работают там, где галлюцинации особенно опасны, в разборе бинарных файлов. Отдельная функция rollover переносит контекст сессии в файл и начинает новую, чтобы длинные задачи не теряли точность. Базовая установка на чистом Python, тяжелые движки анализа подключаются по желанию.
Для кого. Для инженеров по анализу кода и безопасности, которым нужны проверяемые ответы агента.
Подходит, если
- Нужно проверять утверждения агента о коде или бинарнике по фактам
- Разбираете бинарные файлы и не хотите принимать выдумки за факты
- Длинная сессия теряет контекст и нужен аккуратный перенос
Не подходит, если
- Задача не про проверку фактов, а про генерацию текста
- Нет артефакта, который можно проверить детерминированно
Пример запроса к агенту
Проверь через reverify, действительно ли эта функция читает память по указанному смещениюMCP
- Транспорт
- stdio
- Авторизация
- не нужна
Ограничения
Базовый режим на чистом Python; полноценный анализ бинарников требует опциональных пакетов capstone, unicorn, lief, Z3 или angr. Reverify проверяет утверждения, но не строит собственный движок анализа программ.
Как отключить. Удалите хуки командой reverify rollover uninstall, затем удалите пакет: pip uninstall reverify.
Частые вопросы
Нужен ли Ghidra?
Нет, базовый режим ставится чисто на Python без внешних инструментов; продвинутые движки подключаются по желанию.
С какими агентами работает rollover?
С Claude Code, Codex, Gemini CLI и OpenCode.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
MCP-серверыMCP-сервер точной алгебры: проверяет полиномиальные тождества, раскрывает выражения и запоминает проверенные правила
CLI и MCP-сервер без зависимостей: строит по репозиторию граф вызовов, чтобы агент понял код без чтения файлов целиком
MCP-сервер, который один раз строит граф кода проекта и отдает агенту готовые ответы вместо повторного перечитывания файлов
MCP-сервер проверяет по API GitHub, какие части вашей идеи уже существуют в виде репозиториев, и отсеивает выдуманные.
Локальный граф знаний о коде с историей версий: MCP-сервер отвечает агенту, кто вызывает функцию и что сломается от правки
Консольный отладчик MCP-серверов от Giant Swarm: REPL для инструментов, OAuth 2.1 и режим MCP-сервера для Cursor
Коротко о README
README объясняет, что модель предлагает утверждение, а reverify проверяет его по артефакту и возвращает VERIFIED, REFUTED или INCONCLUSIVE с доказательствами. Инструмент ставится из PyPI, базовый режим работает без внешних зависимостей, опционально подключаются capstone, unicorn, lief, Z3 и angr. Отдельно описана функция rollover для переноса контекста между сессиями. Лицензия MIT.