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.
Kapı
Veri
Hafıza
Harcama
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.
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.
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.
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.
YAPAY ZEKÂ AJANLARININ KARA KUTUSU
Ajanınız ne yaptı? Kimin onayıyla?
Ajanlarınız harekete geçerken veri, hafıza ve harcama sizin kontrolünüzde.
Model görmeden önce sınırı siz çizin. Hassas bilgi maskelenir, erişim kayda geçer.
GELEN VERİayse@company.com
↓MASKELEME POLİTİKASI↓
AJANIN GÖRDÜĞÜ[MASKED_PII]✓
02 / SEYRETMEYİN. DENEYİN.
Tarayıcı bütünlük demosu — Verax imzası değil
Bu karar sizin.
Ajan reklam bütçesi istiyor. İzin verin, reddedin veya kaydı değiştirin.
VERAX / KONTROL ODASI
CANLI ETKİLEŞİM · ÖRNEK VERİ
A01
PAZARLAMA AJANI
Yeni kampanya. İlk adım sizde.
₺4.800,00
“Eylül kampanyası için reklam bütçesi talep ediyorum.”
⌑ Kural: Harcama insan onayı gerektirir.
KARAR DEFTERİONAY BEKLİYOR
İstek alındıcampaign.create / pazarlama-ajani-01
Politika eşleştiinsan onayı gerekir
Kararınızı bekliyorHenüz bir harcama yapılmadı.
Kayıt oluşturulacakKarar sonrasında özet hesaplanır.
KAYIT TUTARI—
SHA-256 / MEVCUT KAYITKararınızı bekliyor…
◷ Onay ya da ret ile devam edin.
Bu demo ödeme yapmaz. Özet karşılaştırması tarayıcıda SHA-256 ile çalışır; gerçek üründe kayıt ayrıca imzalanır. Bu demo imza veya bağımsız denetim değildir.
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
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
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
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ı.
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)
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.
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.
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.
İ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.
İ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.
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.
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.
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
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ı
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.