» Etiket
lean
1 yayınFormel Doğrulamalı 3D CSG: 1000 Satır AI Kodu Değil, 93 Satır Spec'e Güvenin
Lean 4'te formel doğrulanmış 3D mesh kesişim çekirdeği: 93 satır spec, 60.000+ satır AI-üretimi kanıt, sıfır LLM güveni.
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