TR · EN · Security · Denetim izi

Verax body: ajanın kendisinden geçirdiği her araç çağrısının kapısı.

Verax body, VERAX Teknoloji'nin açık kaynak MCP sunucusudur (Apache-2.0). Yapay zekâ ajanı ile o ajanın Verax'tan çağırdığı araçlar arasında durur. Her tools/call, araç çalışmadan önce imzalı bir allow, deny ya da defer alır; defter sizin makinenizde kalır.

@verax-ai/body 0.5.1 · 12 Ekim 2026 · Apache-2.0 · npm · sürüm

Ne yapar

• Politika kapısı: kapıya ulaşan her çağrı için izin, ret ya da bekletme. Jetonsuz çağrı geri çevrilir ve satır yazılmaz. Yetkili bir çağrının reddi izinle aynı biçimde kaydedilir.
• Etki kaydı: çalışan çağrı kararına bağlı bir satır bırakır; hata fırlatan çağrı dahil.
• Operatör onayı: politikanın beklettiği çağrı defer olur. Yayındaki kurulumda belgeli yol, o makinedeki verax approve komutudur. Onaylayanın operatör kimliği kayda hash ile bağlanır; CLI onayı imzasız kalır, operatör onu imzalamaz. 0.4.2'den beri, bir operatör kayıtlıysa HTTP onayı bir passkey beyanı ister; verax verify imzalı her onayı operatörün açık anahtarıyla yeniden denetler. O paneli açan verax desktop yayınlanmadı.
• Harcama yetkilendirmesi: alıcı, tutar, para birimi ve günlük sınırla kısıtlıdır, her zaman operatörü bekler. Yetkilendirmeyi kaydeder; para taşımaz.
• Durdurma ve iptal: verax halt sonraki her çağrıyı imzalı bir redde çevirir; iptal edilen jeton kayıt yazılmadan reddedilir.
• Çıkış izin listesi: message.send yalnız politikanın adını verdiği sunuculara ulaşır.
• Taşınabilir doğrulama: verax verify bir defter dizinini çevrimdışı kontrol eder ve hangi anahtarın cevap verdiğini söyler.
• Arkadaki MCP sunucuları: başka MCP sunucuları kapının arkasına bağlanabilir; çağrıları aynı politikadan geçer ve aynı kaydı bırakır. Conarium ile canlı sürüldü: kuralı olan araç çalıştı, kuralı olmayan araç Conarium çağrıyı görmeden reddedildi.

Deneyin

npx @verax-ai/body demo geçici bir defterle yerel bir body başlatır ve gerçek /mcp yolundan bir izin, imzalı bir ret ve bekletilen bir harcama kaydeder. npx @verax-ai/body demo --with-conarium Conarium'u kapının arkasında çalıştırır.

Dört ürün içindeki yeri

Verax body kapıdır. Conarium veri erişimini denetler ve makbuz bırakır; Tugra belleği kaynağı, yaşı ve sınırıyla tutar; Cedulon imzalı harcama makbuzlarını tutar ve ödeme sisteminin kayıtlarıyla karşılaştırır. Dördü de açık kaynaktır ve sizin makinenizde çalışır.

Bizden başka doğrulayıcılar

Yayınlanan test vektörleri dondurulmuş bir defter setidir; her birinde hüküm ve bir doğrulayıcının bildirmesi gereken aşama yazar. İki kişi bunları 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 (koşu).
• Roberto Locatelli (cryptovalid-opencore): taslaklardan, RFC'lerden ve vektör README'sinden 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, çünkü denetleyici index satırını ref'in yanında türüne göre de okuyor; o aşama olmadan ikisi de beklenen yerde duruyor ve koşu bunu iki tarafta da bir hata değil, bir okuma farkı olarak niteliyor. Denetleyicideki bir kural, ilk koşunun söylediği gibi, bir vektör okunduktan sonra eklendi (koşu).

Eşleşen bir koşu, başka bir doğrulayıcının bu kodlamaları okuyup aynı aşamada aynı hükme vardığını gösterir. Body'nin bağımsız bir denetimi değildir.

Bugünkü sınırlar

• Politika 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. İstem enjeksiyonunu süzmez.
• Tanık süreci aynı makinede, aynı operatörün altında çalışır: ayrı bir anahtar, ayrı bir güven alanı değil.
• Bunların hiçbiri henüz ödeme yapan bir müşterinin canlı trafiğinde çalışmadı.

Bağlantılar

GitHub · npm @verax-ai/body · STATUS.md · Denetim izi · Örnek panel · Verax nasıl karşılaştırılır