2akouwu/reverify

Повторная проверка

Остановите свой ИИ от выдумок.
Он предлагает; детерминированные инструменты проверяют каждое утверждение с обоснованной истинностью, и считается только то, что проверено.

ИИ уверен в себе и часто ошибается: он изобретает API, поле структур, смещение или что такое функция делает это и говорит как факт. Reverify делает детерминированный инструмент судьёй — модель предлагает заявку, инструмент сверяет её с настоящим артефактом, и результат возвращается ПРОВЕРЕНО / ОПРОВЕРГНУТО доказательствами. Модель никогда не может утверждать факт сама по себе.

Сегодня она делает две вещи:

• Сохраняет честность вашего ИИ — каждое структурное или поведенческое утверждение проверяется с обоснованностью истина, которой не доверяют, и только то, что выживает, становится фактом (reverify verify, или MCP сервер, с которым ваш агент уже общается).
• Не даёт контексту вашего ИИ разрушаться — вместо автоматического сводки с потерями, reverify rollover Передаю сессию в файл и начинаю заново, чтобы долгие задачи не отвлекались и не требовали /clear. Работает на Claude Code, Codex, Gemini CLI и OpenCode.

Самое сложное место для подтверждения первого пункта — это двоичная реверс-инжиниринг, где галлюцинация — это Хуже — вот откуда берутся цифры.

Reverify

Stop your AI from making things up. It proposes; deterministic tools check every claim against ground truth, and only what’s verified counts.

AI is confident and often wrong: it invents an API, a struct field, an offset, or what a function does, and says it like fact. Reverify makes a deterministic tool the judge — the model proposes a claim, the tool checks it against the actual artifact, and it comes back VERIFIED / REFUTED with evidence. The model never gets to assert a fact on its own.

Two things it does today:

• Keeps your AI honest — every structural or behavioral claim is checked against ground truth, not trusted, and only what survives becomes a fact (reverify verify, or the MCP server your agent already talks to).
• Keeps your AI’s context from rotting — instead of a lossy auto-summary, reverify rollover hands the session off to a file and starts a fresh one, so long tasks don’t drift or need /clear. Works in Claude Code, Codex, Gemini CLI and OpenCode.

The hardest place to prove the first point is binary reverse engineering, where hallucination is worst — so that’s where the numbers come from. On 71 real Windows system files the AI’s textbook answer was wrong 97% of the time; reverify caught every one and never accepted a wrong claim (0 of 71; the same gate runs in CI on Linux and macOS every push, and an independent aarch64 run found the same) (EXAMPLE.md, BENCHMARK.md; python benchmarks/prologue_prior.py).

The problem

Language models are great at reading code and unreliable at reverse engineering. Ask a