» Etiket
formal-methods
1 yayın«Ağustos 2026
Spec Forge: Kodlama Öncesi Spesifikasyonları Adversarial Şekilde Sertifikalar
Spec Forge, kod yazılmadan önce spesifikasyonları adversarial testlerle davranışsal olarak tam olduğunu sertifikalandıran bir Claude Code eklentisi.
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