reverify — İkili (Binary) Kod Okuyan Yapay Zekâ Ajanları İçin Halüsinasyon Önleme Aracı

reverify Nedir ve Ne İşe Yarar?

reverify, derlenmiş ikili dosyaları (binary) analiz eden ve tersine mühendislik yapan yapay zekâ ajanları için geliştirilmiş açık kaynaklı bir anti-halüsinasyon (anti-hallucination) doğrulama aracıdır. Python diliyle geliştirilen proje; hem doğrudan terminalden çalıştırılabilen bir CLI hem de modern yapay zekâ sistemleriyle tam uyumlu bir Model Context Protocol (MCP) sunucusu sağlar.

Aracın çalışma prensibi net bir kurala dayanır: "Model önerir, deterministik araçlar karar verir." Bir büyük dil modeli (LLM), binary içerisindeki bir fonksiyon, bellek adresi, instruction veya veri yapısı hakkında çıkarım yaptığında, reverify bu iddiayı doğrudan gerçek baytlar (bytes) üzerinden test eder. Her iddia somut kanıtlarla birlikte VERIFIED (doğrulandı) ya da REFUTED (çürütüldü) şeklinde kesin karara bağlanır. Ayrıca gelişmiş bağlam mühendisliği (context engineering) sayesinde, doğrulanmış bu olgular bağlam sıfırlamalarında (context reset) dahi kaybolmaz ve ajanın hafızasında korunur.

Neden Popüler ve Geliştiriciler İçin Değeri Ne?

Kısa sürede 850'den fazla yıldız ve 180'in üzerinde fork sayısına ulaşan reverify, LLM'lerin en kritik zayıflıklarından biri olan halüsinasyon sorununa deterministik bir çözüm getirdiği için öne çıkmaktadır. İkili kod analizi, tersine mühendislik ve CTF (Capture The Flag) gibi toleransı sıfır olan alanlarda modellerin hayali ofsetler veya var olmayan talimatlar uydurması tüm analizi geçersiz kılar.

reverify'ın geliştiricilere sağladığı başlıca kazanımlar şunlardır:

Kanıta Dayalı Doğruluk: LLM varsayımları deterministik disassembler araçlarıyla denetlenir; yanıltıcı çıktılar anında elenir.
Kalıcı ve Güvenilir Bağlam: Uzun analiz seanslarında bağlam penceresi taşsa bile doğrulanmış gerçekler sonraki adımlara güvenle aktarılır.
Modern Ajan Entegrasyonu: MCP protokolü sayesinde popüler yapay zekâ geliştirme ortamlarına ve çok-ajanlı sistemlere kolayca bağlanır.

Pratik Kullanım Senaryoları

Güvenlik Açığı Tespiti: Bir yapay zekâ ajanının binary içindeki arabellek taşması (buffer overflow) veya şüpheli API çağrısı iddiası gerçek baytlar üzerinden saniyeler içinde kanıtlanır.
CTF Yarışmaları: Karmaşık ikili dosya bulmacalarında modelin akış kontrolü ve adresleme iddiaları anlık doğrulanarak hızlı ve hatasız bayrak (flag) analizi yapılır.
Ajan Tabanlı Tersine Mühendislik: MCP sunucusu olarak ajan mimarilerine eklenir; analistin yanında çalışan otonom bir denetçi katmanı oluşturulur.

Benzer Araçlarla Karşılaştırma

Geleneksel analiz araçları (Ghidra, IDA Pro, Binary Ninja) son derece güçlü deterministik ayrıştırma sunar; fakat doğal dille akıl yürütme ve otonom karar verme yeteneğine sahip değildir. Standart kod analiz ajanları ise geniş çıkarım gücüne sahip olsalar da ikili verilerde sıklıkla halüsinasyon üretirler. reverify, deterministik araçların sarsılmaz kesinliği ile yapay zekânın otonom analiz gücünü birleştirerek sıfır halüsinasyonlu bir doğrulama katmanı sunar.

Orijinal repoya buradan ulaşabilirsiniz.

Bu konuyu derinlemesine öğrenmek isterseniz: Production'da Agent Güvenilirliği modülüne göz atın.