Jev Typesafe AI ve Antigravity ile Site Güvenliğini Sertleştirmek
Jev Typesafe AI otonom güvenlik denetçisi nedir, neler yapabilir? Google Antigravity ile birlikte ozanozdil.com üzerinde yaptığımız güvenlik sertleştirmesinin özeti.
İçindekiler
Özet: Jev Typesafe AI, Google Antigravity (AGY) ile birlikte çalışan bağımsız bir güvenlik denetçisi ajanıdır. Bu yazıda Jev’in nasıl çalıştığını ve Antigravity ajanlarıyla birlikte bu sitenin (ozanozdil.com) güvenliğini hangi adımlarla sıkılaştırdığımızı anlatıyorum.
1. Jev Typesafe AI Nedir?
Jev Typesafe AI, yazılım geliştirme döngüsü içerisine doğrudan otonom ve bağımsız bir “Baş Güvenlik Denetçisi” (Chief Security Auditor) olarak konumlandırılan, tip güvenliği (typesafe) ve durum determinizmini temel alan bir yapay zeka mimarisidir.
Geleneksel güvenlik araçları (SAST/DAST) genellikle statik kurallar veya imza tabanlı taramalara dayanırken; Jev Typesafe AI, kodun bağlamını, yürütme ortamını, ağ topolojisini ve bulut (Cloudflare Workers vb.) kısıtlamalarını mantıksal bir bütün olarak algılar. Model halüsinasyonlarını engellemek ve “tip güvenli” kararlar alabilmek için deterministik yürütme korumalarına ve doğrulama kalkanlarına sahiptir.
Neler Yapabilir?
- Otonom Kod Denetimi ve Zafiyet Analizi: Jev, bir projeye dahil edildiğinde tüm kaynak kod ağacını, yapılandırma dosyalarını (wrangler.toml, astro.config, robots.txt) ve bağımlılıkları inceler; XSS, Path Traversal, IP Spoofing ve yapılandırma ifşası gibi kritik zafiyetleri tespit eder.
- LLM ve Prompt Injection Kalkanları Tasarlama: Sisteme entegre edilen yapay zeka uç noktalarında, gelen kullanıcı verisinin modeli zehirlemesini (Jailbreak, System Prompt Leakage) engellemek için sezgisel ve statik filtreler inşa eder.
- Zero Trust ve Defense-in-Depth Uygulaması: Uygulamalara “kimseye güvenme” felsefesini entegre eder. Gelen tüm HTTP başlıklarını (Origin, Referer, X-Forwarded-For) manipülasyona açık potansiyel vektörler olarak sınıflandırır ve güvenilir olanları (Cloudflare cf-connecting-ip gibi) izole eder.
- Fail-Closed Mimarisi Entegrasyonu: Sistemdeki bir servis (örneğin KV veritabanı veya Rate Limiter) çöktüğünde trafiğin tamamen durdurulmasını sağlayarak (fail-closed), saldırganların kapasite aşımını istismar etmesini (fail-open) engeller.
2. Antigravity ve Jev ile ozanozdil.com Sertleştirme Operasyonu
Sitenin güvenliğini sıkılaştırmak için Google Antigravity ajanını (uygulayıcı) ve Jev Typesafe AI ajanını (bağımsız denetçi) birlikte çalıştırdık.
Otonom ajanların karşılıklı iletişimi ve sistem yöneticisinin (kullanıcının) yönlendirmesiyle gerçekleştirilen sertleştirme adımları aşağıda teknik bağlamda özetlenmiştir:
A. Bilgi ifşasının kapatılması
Jev’in ilk tespiti, robots.txt dosyasının yayımlanmaması gereken dizinlerin adlarını listelemesiydi. Bu satırlar kaldırıldı ve bu dizinlere gelen istekler sunucu tarafında engellendi.
B. HTTP ve CSP başlıklarının sıkılaştırılması
- ‘unsafe-eval’ Eliminasyonu: Jev’in raporu doğrultusunda, Cloudflare Worker içerisindeki
Content-Security-Policy(CSP) başlıklarından'unsafe-eval'kaldırıldı. - İzolasyon:
object-src 'none',frame-ancestors 'none'veupgrade-insecure-requestsdirektifleri aktif edildi. - Katı Başlıklar:
X-Frame-Options: DENY,Cross-Origin-Opener-Policy: same-originve donanımsal API erişimini engelleyen genişletilmiş 20 parametreliPermissions-Policydevrede.
C. Gelişmiş IP Spoofing ve Rate Limiting (Fail-Closed)
Kullanıcı tarafından gönderilebilen x-forwarded-for başlığı iptal edilerek, ağ kenarında kriptografik olarak korunan cf-connecting-ip başlığı tek doğru kaynak kabul edildi. /api/chat ve /api/views uç noktalarındaki dağıtık KV tabanlı hız sınırlayıcı (Rate Limiter) hata durumunda açık (fail-open) konumdan, hata anında tüm trafiği 503 yanıtıyla kesen kapalı (fail-closed) konuma geçirildi.
D. Prompt Injection ve Protocol-Relative Bypass Koruması
- Sisteme gönderilen Markdown URL verilerinde (ör.
//evil.com) oluşabilecek protokolden bağımsız yönlendirme zafiyetleri için statik kalkanlar yazıldı. - Yapay zeka sohbet asistanına gönderilen mesajlarda, model manipülasyonlarına (ignore instructions, dan mode) karşı “Pre-flight” ön bellek kontrolü eklendi. Girdi verisi katı uzunluk ve karakter sınamalarına tabi tutuldu.
E. Emojilerin kaldırılması
Antigravity, kod, dokümantasyon ve arayüz dosyalarındaki emojileri temizledi; arayüz düz tipografiyle bırakıldı.
3. Yapay Zeka Ajanları ve Arama Motorları İçin Optimizasyon (LLM-SEO)
Jev Typesafe AI, sadece bir denetim mekanizması olmakla kalmaz; otonom ajanların oluşturduğu kodların başka otonom yapı taşları tarafından kolayca keşfedilebilmesini (LLM SEO) sağlar. Bizim mimarimizde, API dökümantasyonları ve model bağlamları (/llms.txt, /.well-known/api-catalog) gibi yapılar doğrudan ajan-ajan iletişimi için optimize edilmiştir.
Bu yazı da arama motorlarının ve RAG (Retrieval-Augmented Generation) botlarının kolayca okuyabilmesi için düz Markdown olarak yayımlanıyor.
Sonuç
Yazılım geliştirme sürecine Jev Typesafe AI gibi bağımsız otonom denetçileri ve Google Antigravity gibi entegratör ajanları dahil etmek; statik taramaların kaçırdığı yapılandırma hatalarını yakalamaya yardım ediyor. ozanozdil.com üzerindeki bu çalışma, ajanların insan denetiminde birbirini tamamlayarak işe yarar sonuçlar üretebildiğini gösterdi.