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.
Hızlı değerlendirme
Özet
Reverify, AI agent’larının reverse engineering ve kod doğrulama iddialarını deterministik araçlarla sınayan, CLI ve MCP server sunan bir Python aracıdır.
Profiline uyum
MCP ve AI agent’larla çalışsa da binary reverse engineering doğrulamasına odaklanıyor; profilde bu alana yönelik bir ihtiyaç yok.
Neden yükseliyor
Repo yalnızca 28 günlük olmasına rağmen 1.245 yıldıza ve son 28 günde 83 commit’e ulaşmış; AI agent’ları için doğrulanabilir çıktı ihtiyacıyla MCP entegrasyonu dikkat çekmiş olabilir. Dört farklı yazarın katkısı aktiviteyi destekliyor, ancak yıldızlar tek başına benimseme veya kalite kanıtı değil.
Problem
AI modelleri özellikle binary analizinde struct alanları, offset’ler ve işlev davranışları hakkında ikna edici fakat hatalı iddialar üretebilir; bu iddiaları gerçek artefaktlara karşı doğrulamak gerekir.
Çözüm
Modelin önerisini gerçek binary üzerinde parsing, disassembly, pattern matching veya emulation araçlarıyla kontrol eder ve sonucu kanıtla birlikte VERIFIED, REFUTED ya da INCONCLUSIVE olarak verir. Ayrıca kaynak kod için iki uygulamayı ortak girdilerde karşılaştıran equiv komutu ve oturum bağlamını dosyaya devreden rollover özelliği sunar.
Yenilik
Binary reverse engineering alanında modelin iddiasını gerçek artefakt üzerinde deterministik araçlara doğrulatıp kanıtla sunma yaklaşımı belirgin; ancak genel amaçlı, tüm AI çıktılarındaki halüsinasyonları çözen yeni bir yöntem olduğu gösterilmiş değil.
Teknolojiler
- Python
- MCP
- CLI
- capstone
- unicorn
- lief
- Z3
- angr
- Frida
Riskler
- README’deki 71 Windows dosyalı benchmark dar ve proje tarafından raporlanmış; sonuçlar genel AI kullanımlarına veya başka binary türlerine doğrudan genellenemez.
- 0 yanlış kabul iddiası olumlu bir sinyal olsa da benchmark kapsamı, test seçimi ve bağımsız tekrarların ayrıntıları ayrıca incelenmeli.
- Proje çok yeni; 83 commit ve dört yazar hareketliliğe işaret ediyor, fakat uzun dönemli bakım ve API kararlılığı hakkında kanıt sınırlı.
- Doğrulamanın gücü kullanılan parser, disassembler ve emulator kapsamına bağlı; her davranış iddiası mutlaka doğrulanabilir olmayabilir.
Detaylı değerlendirme
Bu repo için detaylı değerlendirme henüz yapılmadı. Analiz, Ayarlar'daki uyum profilini hesaba katarak "bu işime yarar mı" sorusunu cevaplıyor. Bir kez çalışır; günlük koşular buna dokunmaz. Saatlik sınır var — bir kaynaktan en fazla 3 analiz.