» Etiket
repositories
2 yayınVero: AI Ajanları Formally Doğrulanmış Yazılım Depoları Oluşturabilir mi?
Vero, AI ajanlarının çok modüllü yazılım depolarında uygulama ve kanıt sentezini değerlendiren bir benchmark sunuyor.
26 Repo, 29 Gün: AI Pipeline ile Ne Kırıldı?
AI Pipeline ile 26 depo ve 1,549 taahhütle yapılan projede ortaya çıkan yapısal hatalar ve dersler inceleniyor.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.com