SnoopStopYapay zekâ ajanları için kanıtlı güvenlik.
Yapay zekâ ajanları e-postanı, veritabanını ve interneti okur — ve tek bir kötü niyetli mesaj onu kandırıp gizli verini dışarı yollatabilir. AgentProof, bu sızıntının mümkün olup olmadığını matematikle kanıtlar. Tahmin değil. Kanıt.
Dürüst olalım: bunu şimdi geliştiriyoruz. Kanıtlayana kadar kimseyi koruduğumuzu iddia etmeyeceğiz.
Riski bul. Kanıtla. Düzelt.
Bul
Ajanın araçlarını okur — ya da canlı bir MCP sunucusuna bağlanır — ve güvenilmez girdi, gizli veri ve dış çıkışın bir araya geldiği her yolu bulur.
Kanıtla
Z3 teorem kanıtlayıcısıyla tek bir soruyu kesin yanıtlar: gizli veri saldırganın kontrol ettiği bir çıkışa ulaşabilir mi? Güvenli, kanıtlı güvenli demektir.
Düzelt
Riskliyse tam sızıntı yolunu ve kesilmesi gereken en küçük akış kümesini gösterir — ve doğrulanmış güvenli bir politika verir.
Sorun
Ölümcül üçlü
Bir ajan şu üç güç bir araya gelince sızdırır: güvenilmez girdi okur, gizli veriye erişir ve dışarı veri gönderebilir. Aralarını bir şey ayırmazsa, saldırgan ajana "gizli veriyi şu adrese yolla" der ve ajan yapar. Bu gerçek ve istismar edilmiş bir sınıf: Microsoft Copilot'taki “EchoLeak” (CVE-2025-32711) ve kendi araçlarıyla kandırılan ajanlar.
Tahmin eder, biz kanıtlarız.
Bugünkü yapay zekâ güvenlik duvarları bir metnin saldırı olup olmadığını tahmin etmeye çalışır — yanlış alarm veren ve asla "olamaz" diyemeyen istatistiksel bir tahmin. AgentProof farklı, kesin bir soruyu yanıtlar: gizli veri yapısal olarak kontrol edilebilir bir çıkışa ulaşamıyorsa, model ne kadar kandırılırsa kandırılsın sızıntı olamaz. Bu bir tahmin değil. Kanıttır.
Kimler için
Yapay zekâ ajanlarını sahaya süren ekipler için.
Bir yapay zekâ ajanını gerçek araçlara bağlayan herkes — destek ajanları, kurum içi yardımcılar, MCP sunucuları, kod ajanları — onun kendilerine karşı çevrilemeyeceğini bilmek ister. AgentProof bir geliştirici aracıdır: ajanında çalıştır, kanıtını al, CI'ına ekle. Henüz erken ve açık kaynak; satılık bir şey yok ve gerçek ajanlarda kanıtlayana kadar kimseyi koruduğumuzu söylemeyeceğiz.
Katıl
Yapay zekâ ajanlarının güven katmanını birlikte kuralım.
AgentProof'u açıkta geliştiren küçük bir ekibiz; zor ve önemli bir problemde erkenden çalışmak isteyen, gerçekten iyi insanlar arıyoruz.
- ✓Özgeçmiş gerekmez. Yaptığın bir şeyi göster.
- ✓Gerçek roller. Yazılım, güvenlik araştırması, tasarım, topluluk.
- ✓Değerlerimiz. Unvandan çok beceri, abartıdan çok dürüstlük.