» Etiket
testing
3 yayınProvensql: İki SQL Sorgusunun Eşdeğerliğini Matematiksel Olarak Kanıtlıyor
Provensql, SQL sorgularının eşdeğerliğini SMT tabanlı kanıtlarla doğrulayan açık kaynak araç; LLM yargıçlardan farklı olarak asla yanlış pozitif vermez.
Başarısız Testi Önce Yazın ve Silmeleri Yasaklayın
Yapay zeka ile kod yazarken testlerinizi koruyun. Başarısız testi önce yazın ve silmeleri yasaklayın.
Red-team LLM Araçları ile Simüle Edilmiş Aksiyonlar
CoT Red Team Agent, LLM ve ajan davranışlarını değerlendirir. Açık kaynaklı CLI ve Python API ile güvenlik testleri yapın.
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