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.
Older snapshot: check the original source for current information.
From the publisher
README & documentation
Source previewRead the project’s overview, installation instructions and usage examples. The original README is the source of truth.
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: truth, not trusted, and only what survives becomes a fact (reverify verify, or the MCP server your agent already talks to). 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…
Read the full README ↗ · Preview checked 2026-10-29T00:42:40.996Z
Inside the original README — Document outline
- The problem
- What Reverify does
- Quick start
- The verification loop
- Grounded means informative, not just "nothing refuted"
- Evidence, not claims
- The ledger: state that survives a context reset
- The loop that never fills up: fresh sessions with a verified hand-off
- Any agent CLI without compaction: reverify rollover
- The semantic layer: functions, calls and cross-references
- The toolkit
- MCP server
Headings are captured from the source. Links open the publisher’s document, not a locally hosted copy.
Links from the README
References supplied by the publisher, not independently verified endorsements. Check the destination before downloading files or entering credentials.
Documentation belongs to its respective authors. Reported project/model license: MIT. A listing is not a grant of reuse or training rights. Confirm the document’s own terms at the source.
What this repository does
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.
Repository facts
- Owner
- 2akouwu
- Primary language
- Python
- Stars
- 1,251
- Forks
- 237
- Open issues + pull requests
- 8
- License
- MIT
- Archived
- No
- Default branch
- main
- Created
- 2026-08-31T01:02:18.000Z
- Last push
- 2026-09-07T10:12:07.000Z
Topics and intended use
Owner-supplied topics: ai, ai-agents, ai-coding, anti-hallucination, binary-analysis, context-engineering, ctf, developer-tools, disassembler, grounding, hallucination, hallucination-detection, llm, malware-analysis, mcp, mcp-server, python, reverse-engineering, security-tools, verification
Review the README for scope, installation, examples and limitations. We do not run repository code or certify it.
Evaluate before installing
Review licensing and dependencies, inspect recent commits and unresolved issues, and test in an isolated environment before production use. Stars and forks alone cannot answer these questions.
Source and freshness
Source: GitHub. Metadata observed 2026-09-30T12:05:19.009Z. Daily imports are snapshots, not real-time monitoring.
Popularity and source listings do not establish security, suitability, licensing rights or benchmark performance.
Related repositories
EbookFoundation/free-programming-books
donnemartin/system-design-primer