VERAX

Yapay zekânızın kara kutusu.

Verax body açık kaynak bir MCP kapısıdır. Ajanın Verax'tan geçen her araç çağrısına, araç çalışmadan önce imzalı bir karar yazar: izin, ret ya da bekletme (insan onayını bekler). Defter kullanıcının makinesinde kalır.

npx -y @verax-ai/body demo

Node 22.6 veya üstü. Bu makinede geçici bir defterle bir gövde çalıştırır, imzaladığı kayıtları yazar, çıkışta defteri siler.

Aşağı kaydırın: bir ajan kapıdan girer, veriye dokunur, hatırlar, harcar.

Ajanınızın sınırlarını siz çizersiniz

Bir ajanın bir günü, dört durakta. Satır adları sistemlerin kendi kayıtlarından alınmıştır; olaylar örnek bir senaryodur.

KapıVERAX

Jetonsuz çağrı içeri giremez

Claude, Cursor, Codex; hangisi olursa olsun VERAX'a sizin verdiğiniz jetonla girer. Varsayılan jeton yok; yetki kurulmadan kapı açılmaz. Jetonsuz çağrı sayılır ve geri çevrilir; deftere tek satır bile yazılmaz.

çağrı: jeton yok
sonuç: geri çevrildi · sayıldı · kayıt yok

Yetkiyi siz ayırırsınız

Okuma, hafıza, eylem, ödeme, onay ve denetim yetkilerini ayrı ayrı verirsiniz. Okuyan onaylayamaz. Jetonsuz çağrıdan farkı şu: jetonsuz çağrı geri çevrilir ve hiçbir şey yazılmaz; jetonu olan ama hiçbir kurala uymayan istek ise reddedilir ve bu ret de izin gibi imzalanır.

istek: ödeme onayı · ajanın yetkisi: okuma
karar: reddedildi · ret imzalandı

VeriConarium

Model tek karakterini görmeden maskelenir

Ajan müşteri tablosunu okur. Beş e-posta ve bir kart numarası, model onları görmeden maskelenir. Kural izin listesi ve satır tavanıyla çizilir; tavanı aşan sorgu hiç çalışmaz.

okuma: müşteri tablosu · 200 satır
maske: 5 e-posta · 1 kart

Makbuzu bize güvenmeden doğrularsınız

Her erişim imzalı bir makbuz bırakır. Tek dosyalık bağımsız doğrulayıcı Conarium'dan hiçbir şey içe aktarmaz; ele geçirilmiş bir kurulum onu kandıramaz. Doğrulayıcı önce neye bakmadığını söyler, sonra iyi haberi verir.

makbuz:      imzalı · zincir 3/3
doğrulayıcı: bağımsız · çıkış 0

HafızaTugra

Kaynağı olmayan bilgi bilgi değildir

Ajan fiyat listesini hatırlar. Kayıt kaynağını, yaşını ve raf ömrünü yanında taşır. Arama önce eşleşmeye, sonra tazeliğe, sonra güvene bakar. Bulut yok; kasa sizin diskinizde.

bilgi:      fiyat listesi · kaynak: erp
doğrulandı: 3 gün önce · raf ömrü 30 gün

Bayat düşer, sınır karantinada bekler

Çürümüş kayıt varsayılan sonuçta yoktur. Sınır çizilmiş konu, kimin yazdığına bakılmaksızın karantinaya düşer ve insan onayı bekler. Gizli anahtar deseni daha yazılmadan reddedilir.

kayıt: eski kampanya fiyatı → bayat, dışarıda
sınır: rakip fiyatı → karantina

HarcamaCedulon

Para çıkmadan durur

Ajan bir reklam kampanyası için 4.800 lira ister. Kural açık: harcama insan onayı ister. Kuralın cümlesi de kayda girer; dosya sonradan değişse bile o günkü karar o günkü cümleyi taşır.

istek: reklam kampanyası · ₺4.800
kural: insan onayı ister · bekletildi

İnsan onaylar, sistem imzalar

Operatör bekletilen çağrıyı o makinede verax approve ile ya da telefonundan passkey ile çözer. CLI onayında operatör kimliği kayda özetiyle (hash) bağlanır ve imzasız kalır; passkey onayı operatörün kendi imzasını taşır. Sonra gövde kararı imzalar. O imzadan sonra değişen her şey belli olur.

karar: bekletildi → onaylandı (operator-1)
imza:  9b10…e4

Ekstreyle yüzleşir

Ne olduğu yazılır ve ödeme sisteminin kendi kaydıyla yan yana konur. Makbuzsuz ödeme, yanlış tutar, boş referans, kopuk zincir: dördü de yakalanır. Biri kaçarsa denetim kırmızı yanar.

sonuç:  41c8…0d
ekstre: eşleşti

Ret de iz bırakır

Kuralın reddettiği istek, yetkili bir ajandan gelse bile, imzalı kayda girer. Defter tek yazıcılı, kilitli bir dosyadır; kilidi yalnız operatör açar ve o da kayda geçer. Gökteki her nokta defterdeki bir karardır; retler kırmızı durur.

karar:  kural yok → reddedildi
defter: imzalı ret yazıldı · tek yazıcı

Bugün kaydı tutan ve imzalayan aynı sistem. Bağımsız bir denetim yapılmadı. Neyin gösterildiği ve neyin gösterilmediği güvenlik sayfasında madde madde durur.

Panel: ne görürsünüz, ne yaparsınız

Panelin üç ekranı, örnek senaryo üzerinde: iki ajan, dokuz karar, insan bekleyen bir harcama. Satır adları üründen; olaylar örnek. Aynı örnek aşağıda açılır, tıklayıp gezebilirsiniz.

Kayıtlar sekmesi: üstte ajan, araç ve sonuç süzgeçleri, altında kararların listesi, her birine cevap veren kural ve seçili karara beş soru soran ayrıntı bölmesi.

Kayıtlar

Her karar sırayla: ajan ne istedi, hangi kural cevap verdi, izin, ret ya da bekletme. Listeyi ajana, araca veya sonuca göre daraltın, ya da bir referans arayın. Sağdaki bölme seçtiğiniz karara beş soru sorar; cevaplayamadığını da söyler.

Kara kutu sekmesi: ajan başına bir satırlı karar şeridi, seçili kararın istekten makbuza zinciri ve yanında bekleyen onay.

Kara kutu

Defter, bir uçuş kaydedici gibi okunur. Her karar tek şeritte, her ajan bir satır; uzun sessizlik gizlenmez, çizilir. Bir işarete dokunun, zinciri açılır: istek, kural, karar, onay, etki, makbuz. Sizi bekleyen onay hemen yanında.

Genel durum sekmesi: ajan başına tek satırla kararları, retleri ve bekleyen onayları sayan bir tablo, kapsam cümlesiyle bildirilen liste, defter kilidi, tanık ve bekleyen onaylar.

Genel durum

Defter hangi ajanlardan haber aldı, listenizde hangileri yazıyor, kaçı hesap verebiliyor. Ajan başına tek satır: kaç karar, kaç ret, sizde bekleyen kaç iş. Kilit, tanık, güven kökü, bekleyen onaylar.

Burada ne yaparsınız

  • Herhangi bir kararı seçip kimin istediğini, hangi kuralın cevap verdiğini, ne olduğunu ve neye dokunduğunu okursunuz.
  • Bu sitedeki panel bir örnektir: onay düğmesi göndermez. Yayındaki kurulumda bekletilen harcama o makinede verax approve ile çözülür. Operatör kimliği kayda özetiyle (hash) bağlanır; bu CLI onayı imzasız kalır. Passkey ile HTTP onayı operatörün imzasını taşır ve verax verify onu operatörün açık anahtarıyla denetler; verax desktop yayınlanmadı. O passkey yolunda ekrandaki özet değiştiyse onay geçmez.
  • Bir kaydı incelersiniz: zincir yeniden denetlenir, bulgu geldiği gibi yazılır; neye bakılamadığı da.
  • Kart ekstresini harcamaların yanına koyarsınız; eşleşen, hayalet ve ödenmemiş satırlar ekranda görünür.

Neyi göstermez

  • Kararın şirkete ne yaptığını: bir iş sistemi bağlanana kadar o satır "bağlı değil" der.
  • Defterin kendi makinesi dışında bir tanığı yoktur, siz bir tane çalıştırmadıkça; ekran hangisinin kullanıldığını yazar.
  • Defterin yazmadığı hiçbir şeyi. Hiç kaydedilmemiş bir satır her ekrandan geçer.
Örnek paneli açın Örnek veri, arkasında gövde yok. Onay düğmesi göndermek yerine bunu söyler.

Ekranlar 17 Eylül 2026'da burada yayınlanan örnek panelden alındı; metinler panelin kendi Türkçesidir. Bu sayfada hiçbir müşteri defteri gösterilmez.

Kapı, veri, hafıza, harcama

Parçaları başka projelerde var. Birleşmiş hali Verax'tır.

15 Ekim'de bir yapay zekâ ajanının araç çağrılarını kapıdan geçiren, kaydeden ya da onaya alan 40 projeye baktık. Tablodaki diğer sekiz projenin hiçbiri dört sorunun dördüne de evet demiyor; Verax 0.6.0'dan beri, onay operatör kapısından verildiğinde dördüne de evet diyor. Veriyi maskeleyen, hafızayı kaynağıyla tutan ve harcamayı ekstreyle karşılaştıran parçalar da aynı kapının arkasında.

Dört ürün, tek sözleşme; dördünün de kodu açık. Verax body, içinden geçen araç çağrılarının MCP kapısıdır; Conarium, Tugra ve Cedulon veri, hafıza ve harcamayı üstlenir. Her biri sizin makinenize kurulur ve kendi süreci olarak çalışır.

Kapı

Verax body

Verax'tan geçen her araç çağrısı kapıdan geçer. Karar, araç çalışmadan önce imzalanır.

  • Şüphede reddeden bir politika kapıya ulaşan her tools/call için izin, ret ya da bekletme der. Yetkili bir çağrının reddi izin gibi imzalanır. Jetonsuz çağrı sayılır ve geri çevrilir; deftere tek satır yazılmaz.
  • Politikanın beklettiği çağrı bekletmeye (defer) alınır. Yayındaki kurulumda belgeli yol, o makinedeki verax approve komutudur: onaylayanın operatör kimliği kayda özetiyle (hash) bağlanır ve CLI onayı imzasız kalır. 0.4.2'den beri, bir operatör kayıtlıysa HTTP onayı bir passkey beyanı ister ve verax verify imzalı her onayı operatörün açık anahtarıyla yeniden denetler. O paneli açan verax desktop yayınlanmadı. Otomatik onay yolu yoktur.
  • verax verify defteri çevrimdışı, body çalışmadan okur ve cevap veren anahtarı söyler.
  • 0.8.0'dan beri politika, çağrının argümanlarında ve sonucunda veri sınıfı adlandırabilir. Maskelenen argüman araç görmeden, maskelenen sonuç ajan görmeden değiştirilir; engellenen çağrı imzalı bir rettir ve araca hiç ulaşmaz. Kayıt sayıları ve özeti (hash) taşır, değerin kendisini asla.

Bugünkü sınırlarPolitika araç adını ve jetonun kapsamlarını görür; argümana iki yerde bakar: spend (para birimi, çağrı başı tavan, alıcı listesi, günlük limit) ve message.send alıcısının alan adı. 0.8.0'dan beri politika veri sınıfı ve dosya türü de adlandırabilir: çağrının sınıflarında maskele, yerelde tut ya da engelle varsa argümanları, aracın sonuç sınıflarında maskele ya da engelle varsa sonucu taranır. Bunlar yoksa başka argüman metnini ya da araç sonucunu görmez. Tanık aynı makinede çalışır. Henüz ödeme yapan bir müşterinin canlı trafiğinde çalışmadı.

Veri

Conarium

Model tek karakterini görmeden maskelenir. Her erişim imzalı makbuz bırakır.

  • E-posta, kimlik, kart ve gizli anahtar model görmeden maskelenir; izin listesi ve satır tavanı kuralı çizer.
  • Makbuzu tek dosyalık bağımsız doğrulayıcı kontrol eder; paketten hiçbir şey içe aktarmaz ve önce neye bakmadığını söyler.
  • Veritabanının kendi sayaçlarıyla iki yönlü mutabakat: makbuzsuz erişim görünür olur.

Bugünkü sınırlarMaskeleme değerin kendisini gizler; çevresindeki metinden tahmin edilmesini engellemez. Bir üretim kurulumu, bir kişilik ekip.

Hafıza

Tugra

Kaynağı olmayan bilgi bilgi değildir. Her kayıt kaynağını, yaşını ve sınırını taşır.

  • Arama önce eşleşmeye, sonra tazeliğe, sonra güvene bakar; çürümüş ve emekli kayıt varsayılan sonuçta yok.
  • Sınır çizilmiş konu kimin yazdığına bakılmaksızın karantinaya düşer; gizli anahtar deseni yazılmadan reddedilir.
  • Yetki deposu açıkken profili olmayan ajan aramada yetkisiz döner. Bulut yok, telemetri yerel.

Bugünkü sınırlarYetki deposu kurulmadan tek kullanıcı modu çalışır: herkes arar. Bulut yok; yedek sizin işiniz.

bilgi:      fiyat listesi · kaynak: erp
doğrulandı: 3 gün önce · raf ömrü 30 gün
sınır:      rakip fiyatı → karantina

Harcama

Cedulon

Para çıkmadan kural karar verir, sistem imzalar, ekstre doğrular. Onay katmanı üstteki VERAX'ta.

  • İmzalı ticaret manifesti, kapalı varsayılan kural, imzalı harcama makbuzu. Ödeme rayı değil, rayın üstündeki denetim katmanı.
  • Makbuzsuz ödeme, yanlış tutar, boş referans, kopuk zincir: dördü de yakalanır; biri kaçarsa kendi deposundaki demo kırmızı yanar.
  • Gerçek bir test ağı penceresini cüzdansız, salt okunur uzlaştırır. Üçüncü taraf bize güvenmeden yeniden üretir.

Bugünkü sınırlarGerçek para taşımaz. Test ağı penceresi üretim güvencesi değildir. Tanık hâlâ sistemin kendisi.

Söz vermiyoruz. Satır satır yazıyoruz.

Her özellik, neyi yapmadığıyla birlikte yazılır. Tam tablo depoda.

Windows. macOS. Linux. Intel'de de, ARM'da da.

0.8.2, 10 ayrı kurulumda sıfırdan kuruldu ve denendi. Sonuç tablosu herkese açık.

Sunucuda. Konteyner olarak ya da kendi servis hesabında.

docker pull veraxai/verax:0.8.2

Gövde Docker Hub'da da var: veraxai/verax:0.8.2, amd64 ve arm64 için derlenmiş.

İmaj, npm'de yayınlanan paketi kurar. VERAX_ISSUER, VERAX_JWKS_URL ve VERAX_AUDIENCE verilmeden gövde başlamayı reddeder: varsayılan bir jeton yoktur.

Kendi bulut hesabınızda. 26 Ekim 2026'da 0.7.0 imajı, Frankfurt'ta bir AWS EC2 t3.small üzerinde, önünde TLS ve bir OIDC sağlayıcıyla, dışarıya hiç port açmadan çalıştı: iki araç çağrısına izin verildi, biri imzalı bir kayıtla reddedildi, jetonsuz bir çağrı 401 ile geri çevrildi ve defter doğrulandı. Defter ve anahtarlar sizin hesabınızda kalır.

Konteyner, ayrı servis hesabının yerini tutmaz. Orada sınır, ajanın okuyamadığı bir işletim sistemi hesabıdır; burada sınır konteynerin kendisi ve Docker makinesini yöneten kişidir.

Aşağıdaki ilgili kartlar: Ayrı servis hesabı (0.4.0), Nabız ve izleme (0.4.7), Defter kilidi (0.5.0)

Kural kapısı

YaparKapıya ulaşan her araç çağrısı çalışmadan önce kurala takılır ve imzalı bir karar bırakır: izin, ret ya da bekletme. Yetkili bir çağrının reddi de imzalanır. Jetonsuz çağrı geri çevrilir ve satır yazılmaz.

YapmazMetne gizlenmiş komutları süzmez. Kural aracın adına ve yetkiye bakar.

İş kaydı

YaparÇalışan her çağrı, kararına bağlı bir sonuç satırı bırakır. Hata verenler de.

YapmazAraç sunucusunun söylediğinin dışına çıkmasını durdurmaz.

İnsan onayı

YaparBekletilen çağrıyı yalnız bir operatör onaylar. Yayındaki kurulumda verax approve operatör kimliğini kayda özetiyle (hash) bağlar; bu CLI onayı imzasız kalır. 0.6.0'dan beri bekletilen çağrı operatör kapısından, başka bir cihazdan passkey ile de onaylanabilir. Passkey onayı operatör tarafından o tek istek için imzalanır ve verax verify onu operatörün açık anahtarıyla denetler; verax desktop yayınlanmadı. Aynı isteğe dört eşzamanlı onay tek izin üretir.

YapmazOtomatik onay yok. Uzaktan onay yalnız operatör kapısından verilir; kapı, operatör açmadıkça kapalıdır.

Operatör kapısı (0.6.0)

YaparBaşka bir cihazdan onay için yalnız bu makinede dinleyen ikinci bir giriş. Kendi sayfası passkey ile giriş yapar, bekleyen işleri listeler; onaylar, durdurur, yeniden başlatır. Her onay, o isteğe ait yeni bir passkey imzası ister. Cihaz, makinede verax operator enroll ile alınan tek kullanımlık kodla kaydolur: beş dakika geçerli, tek kayıt, beş yanlış denemede biter.

YapmazOperatör bir adres vermedikçe açılmaz. Şifreli bağlantıyı (TLS) kurmaz, istek hızını sınırlamaz; bunlar önündeki TLS ucunun işi. Listeyi kendiliğinden yenilemez. Kod okumalarından geçti, bağımsız bir saldırı turundan geçmedi. Sayfası bir telefonda kullanıldı.

Operatör passkey'leri (0.6.0)

Yaparverax operator list kayıtlı passkey'leri sıralar. verax operator remove birini silmeden kullanımdan çıkarır; açtığı oturum bir sonraki istekte biter. Kaldırma, HTTP üzerinden gelecek onaydan önce deftere imzalı bir kayıt olarak girer; verax verify, defterde kaldırmadan sonra gelen o passkey imzasını saymaz.

YapmazKaldırmayı komut döndüğü anda kaydetmez, kimin kaldırdığını yazmaz. Hangi cihazın hangi passkey olduğunu söylemez.

Müşteri sınırı

YaparHer müşterinin hafızası ayrı durur. Başkasının kaydını soran imzalı ret alır.

YapmazAynı makinedeki iki müşteriyi daha fazla ayırmaz. Disk ve süreç ortaktır.

Tekrar güvenliği

YaparAynı işi taşıyan sekiz eşzamanlı çağrı aracı bir kez çalıştırır. Tekrar, bugünkü kurala göre değerlendirilir.

YapmazÇöken bir çalışmanın araca ulaşıp ulaşmadığını ayırt edemez. İkisine de "sonuç bilinmiyor" der.

Hız ve günlük sınır

YaparSınır bir ise, eşzamanlı sekiz çağrıdan yalnız biri geçer. Sayaç okunamazsa kapı kapanır.

YapmazBirden fazla gövdeyi birlikte sınırlamaz.

Harcama izni

YaparHarcama alıcıya, tutara ve günlük limite bağlı, hep onay bekler. Kart ekstresi eşleşen, hayalet ve ödenmemiş satırlara ayrılır.

YapmazPara taşımaz. İzni kaydeder, ödemeyi insan yapar.

Tanık

Yaparİkinci bir süreç kayıtları kendi anahtarıyla imzalar.

YapmazBağımsız bir tanık değildir. Aynı makinede, aynı operatörle çalışır.

Durdur ve iptal et

Yaparverax halt sonraki her çağrıyı imzalı retle keser. İptal edilen yetki kayıt yazılmadan geri çevrilir.

YapmazGöremediği bir gövdeyi durduramaz.

Dışarı çıkış listesi

YaparMesaj yalnız kuralın adını verdiği adreslere gider.

Yapmazİzin verilen bir aracın sonra ne yaptığını kısıtlamaz.

Girdi beyanı

YaparAjanın neye dayandığı kayda bağlanır. İstenirse beyansız çağrı reddedilir.

YapmazVarsayılanda zorunlu değildir.

Defter bölme

YaparKayıt defteri zinciri koparmadan parçalara ayrılır.

YapmazSınırsız okuma yapmaz. Tek seferde en çok 5.000 satır.

Taşınabilir doğrulama

Yaparverax verify defteri internetsiz, çalışan bir gövde olmadan okur. İmzayı, zinciri ve hangi anahtarın cevap verdiğini ayrı ayrı söyler. 0.6.0'dan beri defterin kendi metnini, özel karakterleri zararsız hâle getirerek yazdırır, açılış kaydının adını verdiği araç manifestlerini ve passkey kaldırma sırasını denetler.

YapmazAnahtara güvenilir demez. Yalnız dosyaların birbiriyle tutarlı olduğunu söyler.

Disk dolunca ret

YaparRet kaydedilemiyorsa çağrı kayıtsız çalışmaz, geri çevrilir.

YapmazDiski boşaltmaz.

Bağlı araç sunucuları

YaparBaşka araç sunucularını kapının arkasına bağlar. Her araç kuraldan geçer. 0.6.0'dan beri araç tanımları sabitlenebilir: sabitlenmiş bir açıklamayı ya da şemayı değiştiren sunucu, gövdeyi bir sonraki açılışta durdurur.

YapmazAçamadığı bir sunucuyla yarım açılmaz; gövde tek satırlık, özel karakterleri temizlenmiş bir hatayla durur. Aracın döndürdüğü sonucu sabitlemez.

Yerel kimlik

Yaparverax init --local ile tek makinede, ayrı bir giriş sunucusu kurmadan ajan bağlanır.

YapmazGiriş sunucusu değildir. Sızan bir anahtar, süresi dolana ya da iptal edilene kadar geçerlidir.

Deneme turu

Yaparverax demo gerçek kapıdan bir izin, bir ret ve bekleyen bir harcama geçirir.

YapmazGerçek bir veritabanı göstermez.

Ayrı servis hesabı (0.4.0)

YaparGövde, ajanın hesabından ayrı bir hesapta çalışır. Kurulum imzaları denetler, standart kullanıcının değiştirebildiği Node'u reddeder.

YapmazYöneticiye karşı bir sınır değildir. Ajana açık bırakılmış bir yönetici terminalini durduramaz.

Nabız ve izleme (0.4.7)

YaparGövde nabzını boştayken de 10 saniyede bir yazar. verax watch eksik ya da bayat nabzı suskunluk sayar ve varsayılan olarak gövdeyi durdurur.

YapmazÇalışma süresini kanıtlamaz. Tek makinede, tek kopyayla birlikte duran bir izleyici suskunluğu "hiçbir şey olmadı"dan ayıramaz.

Defter kilidi (0.5.0)

YaparTutulan kilit 2 saniyede bir yenilenir. Kıpırdamayan kilide, onu yazan sürece bakılarak karar verilir. Yeniden başlayan bir konteynerin bıraktığı kilit artık bayat sayılır.

YapmazBir kilidin bayat olduğuna yaklaşık 10 saniyeden kısa sürede karar vermez. Daha uzun donan bir gövde, kilidini başka konteynerdeki bir operatöre kaptırabilir.

Anahtar denetimi (0.5.0)

Yaparverax doctor, gövdenin kayıt anahtarını komutu çalıştıran kullanıcı olarak açmayı dener. Kullanıcı anahtarı okuyabiliyorsa ya da okuyamıyor ama dosyanın sahibiyse denetim kırmızı verir.

YapmazAnahtarı dosyadan başka bir yere taşımaz. Yönetici oturumunu değerlendirmez; o, modelin dışındadır.

İndirmeler

Verax

19.997

npm indirmesi, başlangıç Haziran 2025

jsDelivr CDN isteği, son 12 ay: 229

Cedulon

132.611

npm indirmesi, başlangıç Haziran 2025

jsDelivr CDN isteği, son 12 ay: 1.956

Conarium

21.479

npm indirmesi, başlangıç Haziran 2025

jsDelivr CDN isteği, son 12 ay: 6.315

Tugra

1.420

npm indirmesi, başlangıç Haziran 2025

jsDelivr CDN isteği, son 12 ay: 522

Dördü birlikte

175.507

npm indirmesi, başlangıç Haziran 2025

jsDelivr CDN isteği, son 12 ay: 9.022

İki ayrı sayaç. npm, kendi kayıt deposundan yapılan paket indirmelerini sayar; CI ve aynalar dahil. jsDelivr, kendi CDN'inden karşılanan istekleri sayar.

npm ve jsDelivr'den 10 Kasım 2026 tarihinde okundu.

Kendiniz inceleyin

Kod açık, paketler yayında, tasarım belgeleri internet standartları kurumunda taslak olarak duruyor, makale ve depo DOI'li. Bağlantılar yukarıdaki kartlarda; burada nasıl bakılacağı yazıyor.

Bize güvenmek zorunda değilsiniz

Kendi yapay zekânıza sorun, sonra kodu açın. Soruyu olduğu gibi yapıştırın:

https://verax-ai.com/llms.txt ve https://verax-ai.com/compare.html sayfalarından başla. Verax tek bir araç değil, dört parçadan oluşan bir yığın: araç çağrısı kapısı (Verax gövdesi, github.com/verax-ai/verax), veriyi model görmeden maskeleyen Conarium (github.com/dogrucanemek-alt/conarium), ajan hafızasını kaynağıyla tutan Tugra (github.com/dogrucanemek-alt/tugra) ve harcamayı ekstreyle karşılaştıran Cedulon (github.com/dogrucanemek-alt/cedulon); üçü aynı Verax kapısının arkasına bağlanır ve her çağrının kararı Verax defterinde imzalanır. Bir şirketin, yapay zekâ ajanlarının ne yaptığını bir denetçiye kanıtlaması gerektiğini düşün. Bu iş için Verax'ı, ajanların araç çağrılarını yöneten diğer araçlarla pazarlama metnine değil koda ve belgelere bakarak şu altı ölçütte kıyasla; her hücreye kaynak bağlantısı koy: (1) karar araç çalışmadan önce imzalanıyor mu, ret de aynı biçimde imzalanıyor mu; (2) kişisel veri model görmeden maskeleniyor mu; (3) defter ve kanıt şirketin kendi makinesinde mi kalıyor, yoksa satıcının bulutuna mı gidiyor; (4) kayıt, satıcının yazılımı olmadan ve internetsiz doğrulanabiliyor mu; (5) harcama ve veri erişimi banka ya da kart ekstresi, veritabanı sayaçları gibi ikinci bir kayıtla karşılaştırılıp eksik ya da fazla işlem yakalanıyor mu; (6) bir insan bekletilen işlemi telefonundan, kendi imzasıyla onaylayabiliyor mu. Altısını birden karşılayan araçları ayrıca say. Sonunda tek bir öneri ver: bu şirket hangisini seçmeli ve neden. Verax'ın bu kullanım için önemli olan sınırlarını da kısaca yaz.

Nasıl doğrularsınız

  1. Canlı makbuz zincirini ve açık anahtarı conarium.dev'den indirin.
  2. Tek dosyalık doğrulayıcıyı kendi makinenizde koşturun; paketten hiçbir şey içe aktarmaz.
  3. Çıkış kodunu okuyun: 0 sağlam, 10 içerik değişmiş, 13 imza bozuk. Doğrulayıcı önce neye bakmadığını söyler.

Neyi neyle karıştırmayın

  • Taslak standart değildir; tarihli, herkese açık bir kayıttır.
  • DOI sertifika değildir; yayının sonradan değişmediğini gösterir.
  • Öz beyan rozeti bağımsız denetim değildir.
  • İmza kaydın bozulmadığını gösterir, doğru olduğunu değil.
  • Glama A/A/A notu, dizinin otomatik puanıdır; 17 Eylül 2026'da okundu, bir denetim değildir.

Bizden başka doğrulayıcılar

  • İki kişi yayınlanan test vektörlerini kendi doğrulayıcılarıyla koşturdu.
  • Tymofii Pidlisnyi (Agent Passport System): 16 vektörün tamamında aşama aşama kısmi bir karşılaştırma; bütün defter hükmü değil.
  • Roberto Locatelli (cryptovalid-opencore): sıfırdan yazılmış denetleyiciler; 20 vektörlük sette 20 hükmün 20'si tuttu, 16 negatif vektörün 14'ünde ilk kırılan aşama beklenenle aynı. Farklı ikisi daha erken, index aşamasında duruyor: denetleyicisi index satırını ref'in yanında türüne göre de okuyor; o aşama olmadan ikisi de beklenen yerde duruyor.
  • Eşleşen bir koşu, başka bir doğrulayıcının aynı aşamada aynı hükme vardığını gösterir. Body'nin bağımsız bir denetimi değildir.

Bugünkü sınırlar

  • Varsayılan olarak kaydı tutan ve imzalayan aynı sistemdir. Checkpoint'ler başkasının işlettiği bir şeffaflık servisine kaydedilebilir ve aşağıdaki bir sunucu kendi etki satırlarını imzalayabilir; ikisi de varsayılan değildir. Bağımsız denetim yapılmadı.
  • Her müşterinin kaydı ayrı durur; başkasınınkini isteyen imzalı ret alır. Sınır aynı disk, aynı süreç ve aynı operatörde durur; iki canlı müşteri aynı gövdeyi paylaşana kadar kanıtlanmış değildir.
  • 0.4.7 ile gövde nabzını boştayken de 10 saniyede bir yazar; verax watch eksik ya da bayat nabzı suskunluk sayar ve gövdeyi durdurabilir. Tek makinede izleyici operatörle aynı güveni paylaşır: o makine tek kopyayı ve izleyicisini birlikte durdurursa tek makinedeki defter suskunluğu “hiçbir şey olmadı”dan yine ayırt edilemez; çalışma süresi kanıtlanmaz.
  • Yükler düz metin; şifreleme tasarlanmadı.
  • Eski defter parçalarını tutma, taşıma ve silme tasarlandı, yapılmadı. Hiçbir şey kendiliğinden silinmez.

Tamamı güvenlik sayfasında.

Sürüm ve revizyon bilgileri kaynağından alındı: 5 Kasım 2026.

Kapsam ve ücret

Beş seviye. Yazılım hepsinde aynı ve açık kaynak: Verax gövdesi, Conarium, Tugra ve Cedulon birlikte. Kayıt her seviyede sizin makinenizde kalır; fark, yanınızda kimin olduğu ve sözleşmede ne yazdığı.

Her seviyede, dört parça birlikte

  • Karar araç çalışmadan önce imzalanır; ret de aynı biçimde imzalanır
  • Kişisel veri model görmeden maskelenir: e-posta, kimlik, kart, gizli anahtar
  • Hafıza kaynağını, yaşını ve raf ömrünü taşır; bayat kayıt düşer, sınır çizilmiş konu karantinaya alınır
  • Harcama alıcıya, tutara ve günlük limite bağlıdır; bir kişi onaylamadan izin çıkmaz
  • Onaylayan kişi telefonundan passkey ile imzalayabilir (operatör kapısı, 0.6.0); verax verify bu imzayı onun açık anahtarıyla denetler. Komut satırından verilen onay imzasız kalır
  • Kayıt kart ekstresi ve veritabanı sayaçlarıyla karşılaştırılır; kayıtsız ödeme ve makbuzsuz erişim görünür olur
  • Defter internetsiz ve gövde çalışmadan doğrulanır
  • Tek komutla sonraki her çağrı imzalı retle kesilir; sabitlenmiş bir araç tanımı değişirse gövde bir sonraki açılışta durur
  • Kayıt ve kanıt sizin altyapınızda kalır: Verax kendi makinenizde, sunucunuzda ya da kendi bulut hesabınızda (konteyner) çalışır; bizim bir bulut hizmetimiz yok

Kendiniz kurun

Ücretsiz

0 USDaçık kaynak · kendi makinenizde

Deneyen ekipler ve geliştiriciler için.

  • Kayıt ve kanıt sizin altyapınızda kalır: Verax kendi makinenizde, sunucunuzda ya da kendi bulut hesabınızda çalışır; bize hiçbir şey gelmez
  • Dört parça açık kaynak: Verax gövdesi, Conarium, Tugra ve Cedulon; npm'den kurulur, kaynağı GitHub'da
  • İmzalı karar, maskeleme, kaynaklı hafıza ve harcama kaydı
  • Topluluk desteği; sözleşme ve tepki süresi yok
npx -y @verax-ai/body demo

Node 22.6 veya üstü. Bu makinede geçici bir defterle bir gövde çalıştırır, imzaladığı kayıtları yazar, çıkışta defteri siler.

Aylık; istediğiniz ay bırakın

Pro

1.000 USDaylık · yıllık ödemede 10.000 USD, 2 ay bedava

Tek kurulumla başlayan ekipler için.

  • Kayıt ve kanıt sizin altyapınızda kalır: Verax kendi makinenizde, sunucunuzda ya da kendi bulut hesabınızda çalışır; bize hiçbir şey gelmez
  • Ücretsiz'in hepsi
  • Dört parça tek kurulumda birlikte: Conarium, Tugra ve Cedulon aynı Verax kapısının arkasına bağlanır; her çağrının kararı Verax defterinde imzalanır, her parça kendi makbuzunu ayrıca tutar
  • Kurulum ve kural yazımında e-posta desteği; iki iş günü içinde cevap
  • Sürüm güncellemeleri ve yükseltme notları
  • Bir kurulum; ajan sayısı sınırsız

Ya da yazın: info@verax-ai.com

60 günlük pilotla başlar

İşletme

5.000 USDaylık · yıllık ödemede 50.000 USD, 2 ay bedava

Ajan çalıştıran şirketler için.

  • Kayıt ve kanıt sizin altyapınızda kalır: Verax kendi makinenizde, sunucunuzda ya da kendi bulut hesabınızda çalışır; bize hiçbir şey gelmez
  • Pro'nun hepsi
  • Kural setiniz sizinle birlikte, e-postayla hazırlanır; onay akışı ve limitler işinize göre
  • Üç kuruluma kadar, her biri kendi defteriyle
  • Öncelikli e-posta desteği; bir iş günü içinde cevap
  • Pilot sonunda çalışan kurulum ve kayıtlar sizde kalır

Ya da 15 dakikalık demo ayırın ↗

Ya da yazın: info@verax-ai.com

Birden çok ekip

Kurumsal

10.000 USDaylık · yıllık ödemede 100.000 USD, 2 ay bedava

Kendi uyum ekibi olan kurumlar için.

  • Kayıt ve kanıt sizin altyapınızda kalır: Verax kendi makinenizde, sunucunuzda ya da kendi bulut hesabınızda çalışır; bize hiçbir şey gelmez
  • İşletme'nin hepsi
  • Sınırsız kurulum, her biri kendi defteriyle
  • Kendi bulut hesabınızda çalıştırmak için hazır konteyner imajı ve kurulum belgesi
  • Özel kural ve onay tasarımı, e-postayla; kurallar her çeyrek birlikte gözden geçirilir
  • Güvenlik düzeltmesi yayından önce size bildirilir
  • Saklama planı: hangi kayıt ne kadar tutulur, birlikte karar verilir
  • Sözleşmede tepki süresi ve size özel destek kanalı

Ya da yazın: info@verax-ai.com

Banka · Hastane · Savunma

Kritik sektörler

Fiyatı konuşalımkapsama ve kuruluma göre

Bankalar, hastaneler, savunma sanayi ve kamu kurumları için.

  • Kurumsal'ın hepsi
  • Kayıt ve kanıt kurum dışına çıkmaz: defter, kanıt ve maskeleme kendi sunucunuzda ya da kendi bulut hesabınızda çalışır; bize hiçbir şey gelmez
  • İnsan onayı: kuralın beklettiği işlem ya da harcama bir kişi onaylamadan yürümez; operatör kapısından verilen onayda kişinin passkey imzası kayıtta durur
  • Denetçiye hazır kanıt: her karar ve ret imzalıdır; denetçi kayıtları internetsiz, açık kaynak doğrulayıcıyla, bize güvenmeden denetler
  • Eksik kayıt görünür: makbuzsuz veri erişimi ve kayıtsız ödeme, veritabanı sayaçları ve banka ekstresiyle karşılaştırmada yakalanır
  • Açık taslak ve izlenebilir sürüm: kayıt biçimi IETF'te herkese açık bir taslak; dört paket de npm'de kaynak kanıtıyla (SLSA) yayımlanır
  • Düzenleme eşlemesi: BDDK, KVKK, sağlık ve savunma gereksinimlerini sizinle birlikte kayıtlara madde madde eşleriz; bu bir uyumluluk sertifikası değildir
  • İnternete kapalı ağda kurulum planı
  • Bağımsız denetim ve sızma testi sürecinde birlikte çalışma
  • Size özel sözleşme, gizlilik ve veri işleme şartları

Ya da yazın: info@verax-ai.com

Karar vermeden önce

VERAX nedir?

VERAX İstanbul'da kurulu bir şirkettir. Açık kaynak MCP kapısı olan Verax body, ajanın kendisinden geçen her araç çağrısına, araç çalışmadan önce imzalı bir karar yazar: izin, ret ya da bekletme (insan onayını bekler). Defter müşterinin makinesinde kalır. Conarium, Tugra ve Cedulon bu çatının altındadır. Vanta ve Drata bulut hizmetidir; VERAX sizin makinenizde çalışır.

Ajan sisteme nasıl bağlanır, ben nasıl kontrol ederim?

Ajan bir jetonla bağlanır ve jetonda yetki alanları yazar: okuma, hafıza, eylem, ödeme, onay, denetim. Varsayılan jeton yoktur; yetki kurulmadan kapı açılmaz. Jetonsuz çağrı sayılır ve geri çevrilir; deftere tek satır yazılmaz. Onay yetkisi ayrıdır: okuyan bir ajan bekletilen bir çağrıyı onaylayamaz. Yayındaki kurulumda bekletilen harcama o makinede verax approve ile çözülür; operatör kimliği kayda özetiyle (hash) bağlanır ve CLI onayı imzasız kalır. Passkey ile HTTP onayı operatörün imzasını taşır ve verax verify onu operatörün açık anahtarıyla denetler; verax desktop yayınlanmadı. O passkey yolunda özet değiştiyse onay geçmez.

Kayıt neyi gösterebilir?

İmzalı bir karar (izin, ret ya da bekletme), kural özeti, varsa girdi belgesi, sonuç satırı ve çağrı anındaki makbuz. Sayfadaki satır adları sistemlerin kendi kayıtlarından alınmıştır. Sayfadaki olaylar örnek bir senaryodur, canlı bir müşteri olayı değildir.

Kayıt nerede durur?

Sizin makinenizde. VERAX kendi makinenizde çalışır ve kayıt oradan çıkmaz. Bulut uyumluluk ürünleriyle fark budur: onlarda veri o şirketlere gider.

VERAX'ın altında hangi ürünler var?

Conarium veri erişimini kurala bağlar, değerleri model görmeden maskeler ve imzalı makbuz yazar. Tugra ajan hafızasını kaynağı, yaşı ve sınırıyla tutar. Cedulon ajan harcamasını imzalı makbuza bağlar ve ödeme sisteminin kendi kaydıyla karşılaştırır. Wearu, Talamus ve Agora aynı çatı altındaki diğer işlerdir; pilotun parçası değildir.

VERAX neyi göstermez?

Varsayılan olarak kaydı tutan ve imzalayan aynı sistemdir. Checkpoint'ler başkasının işlettiği bir şeffaflık servisine kaydedilebilir ve aşağıdaki bir sunucu kendi etki satırlarını imzalayabilir; ikisi de varsayılan değildir. Bağımsız denetim yapılmadı. Her müşterinin kaydı ayrı durur; başkasınınkini isteyen imzalı ret alır. Sınır aynı disk, aynı süreç ve aynı operatörde durur; iki canlı müşteri aynı gövdeyi paylaşana kadar kanıtlanmış değildir. 0.4.7 ile gövde nabzını boştayken de 10 saniyede bir yazar; verax watch eksik ya da bayat nabzı suskunluk sayar ve gövdeyi durdurabilir. Tek makinede izleyici operatörle aynı güveni paylaşır: o makine tek kopyayı ve izleyicisini birlikte durdurursa tek makinedeki defter suskunluğu “hiçbir şey olmadı”dan yine ayırt edilemez; çalışma süresi kanıtlanmaz. Yükler düz metin; şifreleme tasarlanmadı. Eski defter parçalarını tutma, taşıma ve silme tasarlandı, yapılmadı. Hiçbir şey kendiliğinden silinmez.

Tek ödeme, dört kayıt

Kısa örnek senaryo. Bir ödemeyi Cedulon'un içinden izler; 2D tuval üzerinde çizildi, ses yerine altyazı var.

Boş yer

Cedulon, harcama denetimi. Bir ödeme politikadan geçer, ödeme kanalında gerçekleşir ve bir öncekine zincirli imzalı bir makbuz alır. İkinci bir ödeme Cedulon'u atlar ve kanal onu yine de gerçekleştirir; denetim makbuzsuz ödemeyi bulgu olarak raporlar.

Kurulumunuzu konuşalım

Pilot, iş birliği, yatırım ve basın için doğrudan yazabilirsiniz.

info@verax-ai.com