2akouwu/reverify
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.
О проекте
Инструмент, который проверяет утверждения AI-модели о бинарных файлах и коде детерминированными инструментами (дизассемблер, эмулятор, парсер PE/ELF/Mach-O), возвращая VERIFIED/REFUTED с доказательствами. MCP-сервер и CLI для реверс-инжиниринга, анализа malware и CTF.
Чем пригодится
- Проверить гипотезу AI о смещении и инструкциях функции в бинарнике через reverify verify
- Запустить эмуляцию реконструированной процедуры и сверить ожидаемые регистры
- Подключить MCP-сервер reverify к Claude Code или Cursor для проверки утверждений агента
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях.
Почему он в тренде
- Сегодня 7 звёзд.
- Интерес спадает: темп за двое суток — 17% от уровня предыдущих полутора недель.
- Репозиторию 13 дней, а у него уже 1 188 звёзд.
- Топ новых репозиториев за месяц: #60.
Звёзды по дням
Столбики — звёзды за день, линия — обычный темп. Красным — дни всплесков.
Цифры
- Всего звёзд
- 1 188
- Звёзд за сутки
- 7
- Форков
- 233
- Issues и pull requests
- 22
- Наблюдателей
- 2
- Язык
- Python
- Лицензия
- MIT
- Последний релиз
- v0.11.0 · 4 сентября 2026
- Создан
- 31 августа 2026
- Последний коммит
- 7 сентября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 13 сентября 2026Топ новых репозиториев за месяц: #55
Поделиться
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/2akouwu/reverify)Похожие проекты
-
6,8
melgarafael/DeskcommCRM
Самостоятельно размещаемый CRM с ИИ-агентами для продаж в WhatsApp: агенты отвечают, квалифицируют лиды и ведут продажи, данные остаются на вашем сервере. Открытая альтернатива Kommo, Octadesk и Intercom.
-
6,2
kruzovic7/ai-data-extractor
Утилита на Python для извлечения локальной истории чатов из AI-ассистентов для кодинга (Claude Code, Cursor, Windsurf, Aider, Cline/Roo Code и др.) в единый JSONL-формат.
-
6,2
ayghri/i-have-adhd
Скилл для кодинг-агента (Claude Code), который заставляет его выдавать ответ сразу и по шагам, без вступлений и воды. Помогает быстрее получать конкретные действия вместо длинных рассуждений.
-
6,1
tech-leads-club/agent-skills
Реестр проверенных навыков (плагинов-инструкций) для AI-агентов программирования: расширяет Claude Code, Cursor, Copilot и другие агенты безопасными, протестированными возможностями.
-
6,1
jordan-gibbs/hyperresearch
Инструмент глубокого ресёрча для Claude Code: превращает один запрос в отчёт с проверенными цитатами и постоянным хранилищем источников. Каждый источник попадает в поисковую базу, которую переиспользуют следующие сессии.
-
6,0
NVlabs/SoL-Pi
Расширение для Pi, снижающее расход токенов и лишние шаги кодинг-агента за счёт четырёх механизмов: объединения действий, упаковки наблюдений, сжатия логов и компактификации контекста.