» Etiket
llm
2 yayınDenetimsiz AI Ajanı, 2.1 Milyon Yıldızlı Depolardaki Güvenlik Açıklarını Kapattı
MIT lisanslı Aeon çerçevesi, GitHub Actions üzerinde tamamen otonom çalışarak 2.1 milyon yıldızlı depolardaki güvenlik açıklarını yamalıyor.
Flare: LLM Tabanlı Teorem Kanıtlamayla MILP Yeniden Formülasyon Doğrulama
FLARE, LLM ajanı ve Lean kanıt asistanını birleştirerek MILP yeniden formülasyonlarını makine tarafından doğrulanabilir şekilde kontrol ediyor.
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