repoGitHubTrust 82 · PrimaryPublished 3d agoLive · yesterday

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.

Lineage graph

Paper → model → repo connections mined from source citations (Tier-1 exact match).

Why these links exist

Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.

PossiblePossibly related (embedding) · 51%Akrites marshals the open source community to counter AI threats - ReversingLabs →
PossiblePossibly related (embedding) · 48%Chain-of-Thought Spoofing Targets Reasoning AI Models - Hackaday →
PossiblePossibly related (embedding) · 48%Mistral Open-Sources AI Model That Can Verify Code and Mathematical Proofs - ProPakistani →

Covers

newsAkrites marshals the open source community to counter AI threats - ReversingLabs newsChain-of-Thought Spoofing Targets Reasoning AI Models - Hackaday newsMistral Open-Sources AI Model That Can Verify Code and Mathematical Proofs - ProPakistani

Related across the graph

newsAkrites marshals the open source community to counter AI threats - ReversingLabs newsMistral Open-Sources AI Model That Can Verify Code and Mathematical Proofs - ProPakistani newsChain-of-Thought Spoofing Targets Reasoning AI Models - Hackaday

Topics

ai ai-agents ai-coding anti-hallucination binary-analysis context-engineering ctf developer-tools disassembler grounding