» Etiket
open-source
6 yayınCtxdiff: LLM Ajanları İçin Git Diff Tarzı Bağlam Hata Ayıklayıcı
Ctxdiff, LLM ajanlarının context window'unu git-diff mantığıyla tur tur inceleyen, yerel çalışan açık kaynaklı hata ayıklama aracı.
Server 2019 CU Hatası 0x800f0986: DISM'in Kaçırdığı Bozuk Dosya, MIT Araç Seti
Aylarca süren Server 2019 güncelleme hatasının kök nedeni, DISM/SFC'nin göremediği kısaltılmış bir WinSxS dosyasıydı. msdelta.dll yöntemi ve MIT araç seti.
Belay: AI kodlama ajanları için yerel güvenlik duvarı
Belay, AI kodlama ajanlarının araç çağrılarını denetleyen açık kaynaklı, yerel-öncelikli güvenlik katmanı; secret sızıntısı ve yıkıcı komutları engeller.
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.comGizlilik Proxy CLI'mizi Açık Kaynak Olarak Yayınlıyoruz
Gizlilik koruma protokollerini kolaylaştıran pvcli CLI aracını açık kaynak olarak sunduk.
Lean Teorem Kanıtlayıcısının Tasarımı ve Gelişimi
Lean, matematiksel doğrulama ve yapay zeka alanında önemli bir rol oynuyor. Lean FRO, 2023'te kuruldu.
ASL V6: Python AI Ajansları için Açık Kaynak AST Güvenlik Aracı
ASL V6, Python AI ajansları için açık kaynaklı bir güvenlik değerlendirme aracı sunuyor.