» Etiket
verification
28 yayınNoWreck: AI Kod Asistanları için Deterministik Doğrulayıcı
NoWreck, AI kod asistanlarının değişikliklerini doğrulayan bir araçtır. Statik analizle uyumsuzlukları tespit eder.
Kodlama Ajanınız Bitti Dedi. Kim Doğruladı?
VichuFlow, kodlama ajanlarının güvenilirliğini artırmayı hedefleyen bir açık kaynak projesidir.
Hollow-LLM Saldırısı: Sıfır Bilgi LLM Doğrulamasını Aldatan Hayalet Ağırlıklar
Hollow-LLM saldırısı, sıfır bilgi doğrulama ile sahte ağırlıkların etkisini inceliyor.
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.comKanıtlayamadığınız bağımsızlık — fiyatlandırın
Bağımsızlık kanıtlanamaz; bu nedenle, bağımsızlık maliyetlendirilmelidir. Her probe için doğrulama süreci önemlidir.
OpenCode için Güvenli AI Araç Çağrılarını Durduran Statik Doğrulayıcı
OpenCode için geliştirilen statik doğrulayıcı, güvenli AI araç çağrılarını engeller.
OpenBase – AI Ajanları için Uçuş Kaydedici
OpenBase, AI ajanlarının yürütme kanıtlarını standartlaştırarak güvenilirliği artırır.
LLM-as-a-Verifier Eklentisi ile DeepSeek Harness'i Geliştirin
DeepSeek Harness için LLM doğrulayıcı eklentisi, aday çözümleri değerlendiriyor ve en iyi sonucu veriyor.
LLM Önbellek Vuruşlarını Gerçek Zamanlı Doğrulamak: Zayıf Bir Evet
LLM önbellek vuruşlarının gerçek zamanlı doğrulaması üzerine yapılan deneyin sonuçları.