Reverify

Установка

Ручная установка

pip install reverify

Это чужой код. Посмотрите файлы в репозитории перед установкой.

Что делает

Reverify делает детерминированный инструмент судьей: модель выдвигает утверждение о структуре или поведении, а инструмент проверяет его по самому артефакту и возвращает вердикт с доказательствами. Модель не может сама объявить факт истинным. Команда reverify verify и MCP-сервер работают там, где галлюцинации особенно опасны, в разборе бинарных файлов. Отдельная функция rollover переносит контекст сессии в файл и начинает новую, чтобы длинные задачи не теряли точность. Базовая установка на чистом Python, тяжелые движки анализа подключаются по желанию.

Для кого. Для инженеров по анализу кода и безопасности, которым нужны проверяемые ответы агента.

Пример запроса к агенту

Проверь через reverify, действительно ли эта функция читает память по указанному смещению

Ограничения

Базовый режим на чистом Python; полноценный анализ бинарников требует опциональных пакетов capstone, unicorn, lief, Z3 или angr. Reverify проверяет утверждения, но не строит собственный движок анализа программ.

Как отключить. Удалите хуки командой reverify rollover uninstall, затем удалите пакет: pip uninstall reverify.

MCP

Транспорт

stdio

Авторизация

не нужна

Проверка безопасности

• Запускает анализ файлов и меняет настройки агентов при установке хуков

Коротко о README

README объясняет, что модель предлагает утверждение, а reverify проверяет его по артефакту и возвращает VERIFIED, REFUTED или INCONCLUSIVE с доказательствами. Инструмент ставится из PyPI, базовый режим работает без внешних зависимостей, опционально подключаются capstone, unicorn, lief, Z3 и angr. Отдельно описана функция rollover для переноса контекста между сессиями. Лицензия MIT.

Похожие