FINDING #62 · UNIT ID 1351859098
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.
SURPRISE SCORE
0.00
Score Breakdown
SCORE = SURPRISE × ENGAGEMENT^0.7 × FRESHNESS × VISIBILITY × CONFIDENCE
SURPRISE = WINDOW STARS / DAYS / (AUDIENCE + FLOOR)
21% OF STARS IN ARCHIVE
Growth Telemetry
VELOCITY /D
36.14
ACCEL
+1.25
RETENTION
60.5%
PEAK 2026-09-08 · FORK-RETENTION 43.2% · 253 STARS / WINDOW
Author Audience
AUDIENCE
133
FOLLOWERS
17
OWNER ★
1,164
Engagement Signals
FORKS
233
ISSUE AUTH
0
PR AUTH
0
UNIQUE STARGAZERS 253 / 253 (DIVERSITY 1.00)
Потенциал заработка
C48/100
СПРОС78
Деньги в теме есть: AI code tools, LLM observability, securing AI и reverse-engineering software — все рынки платные и растущие.
ЗАХВАТ36
Ров слабый: зрелые incumbents в RE и LLM eval/security могут встроить похожий verification loop и MCP быстрее, чем проект закрепит позицию.
ДОСТУП67
MIT-лицензия и Python/MCP/CLI делают старт простым, но enterprise-value потребует интеграций, UI, аудит-логов, поддержки и private deployment.
«Потенциал топит capture: ценность понятна, но защита слабая, потому что incumbents легко встроят такой же verification layer.»
Рыночный анализ · Обзор
Reverify — это Python-CLI/MCP сервер для проверки AI-утверждений о бинарниках и коде по ground truth.
AI verification layer для reverse engineering и developer/security tooling.ЗРЕЛОСТЬ · ЭКСПЕРИМЕНТ
ЯЗЫК
Python
ЛИЦЕНЗИЯ
MIT
РЕЕСТР
pypi
РЕЛИЗ
v0.11.0
КОНТРИБЬЮТОРЫ
3
УСТАНОВКА: pip install reverify
Что делает
Библиотека ставит между моделью и результатом детерминированный слой проверки: модель предлагает гипотезу, а инструменты сверяют её с реальными байтами, дизассемблированием, эмуляцией, шаблонами и метаданными форматов. Если утверждение подтверждается, возвращается VERIIFIED; если нет — REFUTED; если данных недостаточно — INCONCLUSIVE. Второй ключевой сценарий — сохранение проверенных и опровергнутых фактов в ledger, чтобы агент не терял состояние после reset, compact или /clear. Есть и режим для сравнения reference/candidate implementation на общих входах.
Какую боль решает
Убирает галлюцинации AI в reverse engineering и сохраняет grounded state между сессиями, чтобы агент не повторял ошибки и не выдумывал факты.
Сценарии использования
- Malware analysis и authorized reverse engineering с проверкой импорта, секций, строк, функций и поведения по бинарнику.
- CTF, crackme и security research для проверки гипотез о prologue, offsets, pattern presence и control flow.
- AI coding и refactoring sanity check через проверку эквивалентности reference/candidate на общих входах.
- CI gate для AI-агента: non-zero exit при любом refuted claim, чтобы не пропускать неподтверждённые отчёты.
- MCP-интеграция для Claude Code, Cursor, Codex, Gemini CLI и OpenCode как внешнего слоя ground truth.
Целевой пользователь
Security researchers, malware analysts, reverse engineers, CTF-игроки, разработчики AI coding agents и команды, которым нужен audit trail для AI-выводов.
Open-source аналоги
Полноценная RE-платформа с дизассемблированием, де-компиляцией, графами и широким покрытием архитектур; Reverify намного легче и agent-native, но не такой зрелый как среда анализа.
CLI-first reverse engineering framework с редактированием, отладкой, дизассемблированием и скриптингом; Reverify добавляет verification loop и MCP, а не заменяет полноту r2.
Python binary analysis platform со symbolic execution, CFG и data-dependency; Reverify может использовать angr как backend, но его фокус — проверка claims агента.
Dynamic instrumentation toolkit для runtime анализа; Reverify умеет генерировать Frida hooks, но не заменяет инструментальную динамическую instrumentation.
Специалист по firmware analysis и extraction; Reverify шире по AI-verification, но слабее как firmware-утилита.
LLM-обвязка вокруг radare2; Reverify ближе к deterministic claim judge + ledger, а не к chat-over-binary.
Общий фреймворк для testing prompts, agents, RAG и red teaming; не специализирован под бинарники и reverse engineering.
Позиционирование
Reverify не лидер в reverse engineering tooling, а нишевый wedge-проект на стыке AI-agent verification и binary analysis.
Коммерческие аналоги
Коммерческий decompiler/disassembler и де-факто стандарт профессионального reverse engineering.
Масштаб по пользователям и выручке публично не раскрыт; продукт широко известен в security/research сегменте.
IDA Pro Essential$1,099/year
IDA Pro Expert$2,999/year
IDA Pro Expert 6$6,899/year
IDA Pro Ultimate$8,599/year
Floating add-on$510/year
Teams+€999
Private Lumina+€299
Коммерческий disassembler/decompiler с API, headless processing и enterprise-вариантами.
Частная нишевая компания; публичных данных о выручке или пользователях нет.
Free$0
Personal$299
Commercial$1,499
Ultimate$2,999
Enterprisecustom
Decompiler/disassembler, особенно сильный в Android/native analysis и plugin-driven workflows.
Публичных данных о users или revenue не найдено.
JEB Android$1,200/user/year
JEB Android monthly$140/user/month
JEB Pro$2,000/user/year
JEB Pro Floating$4,000/seat/year
JEB Pro OEM$8,000/server/year
Priority Support+30%
Mac/Linux disassembler, decompiler и debugger; на сайте упоминаются MCP server и AI-capabilities.
Сайт заявляет 'thousands of developers, researchers, and security professionals', точное число не раскрыто.
Personal License$99
Computer License$129
2-9 units$116.10
10-14 units$109.65
15+ units$103.20
AI coding assistant/agents/code review/CLI, смежный слой для AI-агентов, которым нужны verification gates.
Microsoft сообщала о 50M users у GitHub Copilot и 225M users у GitHub, а также о росте revenue Copilot на 60%+ QoQ; это сильный крупномасштабный ориентир.
Free$0
Pro$10/user/month
Pro+$39/user/month
Max$100/month
Business$19/user/month
Enterprise$39/user/month
AI code editor и agent platform с MCP, cloud agents и code review.
Сообщалось о более чем $500M ARR и использовании более чем половиной Fortune 500, что указывает на крупный коммерческий масштаб.
Hobby Free$0
Individual Pro$20/mo
Pro+$60/mo
Ultra$200/mo
Teams$40/user/mo
Teams Premium$120/user/mo
Observability, evals и deployment workflows для LLM apps и agents.
Публичная выручка/число пользователей не зафиксированы в анализе, но бренд широко известен в LLMOps.
Developer$0/seat/month
Plus$39/seat/month
Enterprisecustom
OSS + managed LLM observability/evals/tracing/prompt management.
Сайт заявляет 50,000+ companies using Langfuse; это сильный сигнал adoption.
Hobby$0
Core$29/month
Pro$199/month
Teams add-on$300/mo
Enterprise$2,499/month
LLM app testing, evals, red teaming и AI vulnerability scanning.
Компания заявляла 350k developers, 130k monthly active и присутствие в 25%+ Fortune 500; это уже enterprise-scale сосед.
CommunityFree Forever
Red teaming10k probes/month
EnterpriseCustom
On-PremiseCustom
Коммерческая платформа вокруг DeepEval для AI evals, tracing, monitoring, governance и red teaming.
DeepEval OSS имеет 18.1k stars; публичные revenue/users не раскрыты.
Free$0
Starter$200/month
Team$2,000/month
Enterprisecustom
AI evaluation, observability, hallucination/drift/bias detection и guardrails.
Series B $45M, $68M raised to date и высокая ARR-growth динамика; сильный enterprise AI vendor.
Free$0/month
Pro$100/month
Enterprisecontact sales
Текущая монетизация проекта
Публичных признаков монетизации самого Reverify не найдено: нет отдельного сайта с прайсингом, нет указаний на cloud, support plan, open-core tier или sponsorware. Сейчас это выглядит как OSS/research-project, а не как уже оформленный коммерческий продукт.
Коммерческий потенциал
ПОТЕНЦИАЛ · СРЕДНИЙ
Заработать можно, но лучше как verification/audit layer для AI-агентов в security-critical workflows, а не как просто reverse-engineering library.
Спрос и рынок
Спрос есть на пересечении AI code tools, securing AI, LLM observability и reverse engineering, но отдельная library пока нишевая.
Ров / защищённость
Слабый текущий ров: функциональность легко копируется, а защита возможна только через corpus доказательств, интеграции, ledger-network effects и trust/compliance layer.
Модели монетизации
- open-core
- managed hosting (SaaS-обёртка)
- платная поддержка
- плагины/маркетплейс
- консалтинг
Что нужно, чтобы сделать продукт
- Team ledger с shared state, permissions и deduplication.
- UI/отчёты с replayable evidence, export в JSON/PDF/SARIF и signed artifacts.
- Интеграции с Ghidra, IDA, Binary Ninja, radare2 и MCP-клиентами.
- Enterprise packaging: RBAC/SSO, audit logs, private deployment и air-gapped режим.
- Security posture: sandboxing, fuzzing, threat model, dependency/license matrix.
- Focused ICP и продуктовый wedge вместо слишком широкого позиционирования.
⚖ ЛИЦЕНЗИЯ · МОЖНО ЛИ КОММЕРЦИАЛИЗИРОВАТЬ
MIT, поэтому коммерциализация разрешена при сохранении copyright notice и текста лицензии; для optional backends нужна отдельная проверка их лицензий и модели распространения.
Риски и подводные камни
ВЫСОКИЙКОНКУРЕНЦИЯ
Incumbents вроде IDA, Binary Ninja, Hopper, Ghidra, radare2 и AI-vendor'ы могут быстро повторить verification loop и MCP-интеграцию.
ВЫСОКИЙПРОЧЕЕ
Проект очень молодой по датам воронки, поэтому production-readiness ещё не доказана.
ВЫСОКИЙЗАВИСИМОСТЬ ОТ АВТОРА
Сильная зависимость от одного автора и малого числа контрибьюторов повышает bus factor.
СРЕДНИЙПРОЧЕЕ
Позиционирование пока смешивает RE, anti-hallucination, context rollover и source-code equivalence, что размывает ICP.
СРЕДНИЙЮР. СЕРАЯ ЗОНА
Авторизованный reverse engineering допустим, но enterprise-применение потребует политики, disclaimers и compliance-review.
СРЕДНИЙЛИЦЕНЗИЯ
MIT у core-библиотеки благоприятен, но optional backends нужно отдельно проверять на условия дистрибуции.
СРЕДНИЙКОММОДИТИЗАЦИЯ
Claim verification как идея может быстро стать commodity-слоем у крупных AI/devtool vendors.
СРЕДНИЙМАЛЫЙ РЫНОК
Чистая аудитория reverse-engineering меньше, чем у общего AI coding/evals рынка.
Достоверность разбора
УВЕРЕННОСТЬ · СРЕДНЯЯgpt-5.5 · 2026-09-05 · ОКНО 1D
Оговорки / что не проверено
- Числа по звёздам для OSS-аналогов и коммерческих масштабов взяты из собранного разбора и не перепроверялись здесь отдельно; часть из них опирается на одно публичное упоминание.
- Рыночные оценки спроса/размеров рынков и enterprise-метрики конкурентов приведены по отдельным источникам, а не подтверждены минимум двумя независимыми источниками внутри этого ответа.
- Для Reverify не найден отдельный коммерческий сайт, прайсинг или публичная монетизация; вывод о hobby/OSS-статусе основан на отсутствии таких признаков в предоставленных данных.
- Оценка зрелости как experimental основана на датах создания и свежем релизе из воронки, а не на внешней валидации adoption.
- License verdict по optional backends требует отдельной юридической проверки их лицензий и способа распространения, если делать коммерческий пакет.
- Некоторые продуктовые выводы о потенциальных моделях монетизации и required product gaps являются аналитическим обобщением, а не заявлением автора репозитория.
ИСТОЧНИКИ (33)
Why This Is A Finding
2akouwu/reverify собрал 253 звёзд за окно, тогда как у автора всего 17 подписчиков — эффективная аудитория ≈ 133. Это даёт surprise-индекс 0.21 (звёзды относительно охвата автора, а не в абсолюте). Удержание форков 43.2% и 0 внешних контрибьюторов отделяют реальный инструмент от разовой вспышки. Акселерация положительная — рост ещё не выдохся.
Related Findings
RANKS ABOVE 99% OF 9789 FINDINGS
METRICS IN CONTEXT
MEDIAN ACROSS ALL 9789 FINDINGS · Δ vs MEDIAN · PERCENTILE = SHARE RANKED BELOW
METRICVALUEMEDIANΔ MEDPERCENTILE
SCORE0.220.00+0.22ABOVE 99%
VELOCITY36.143.43+32.71ABOVE 94%
RETENTION60.5%37.5%+23.0 PPABOVE 83%
FORKS233119+114ABOVE 66%
SURPRISE0.210.01+0.20ABOVE 99%