TR · EN · Security · Verax body

Yapay zekâ ajanları için denetim izi, araç çalışmadan önce yazılır.

Bir yapay zekâ ajanı bir aracı çağırdığında (tablo okur, mesaj gönderir, harcama ister) çoğu kurulum, işi yapan sürecin sonradan yazdığı bir günlük satırı tutar. Verax kaydı önce yazar.

Verax body, ajan ile araçları arasında duran açık kaynak bir MCP sunucusudur (Apache-2.0). Her tools/call kapalı-güvenli bir politikadan geçer; karar imzalanır ve hiçbir şey çalışmadan önce kendi makinenizdeki deftere yazılır.

Tek bir çağrı geride ne bırakır

• İmzalı bir karar: 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.
• Kararı veren kural setini adlandıran bir policyHash ve ajan bir girdi belgesi beyan ettiyse onun üzerinden bir inputsHash.
• Çalışan bir çağrı için, kararına effectHash ile bağlı bir etki satırı; hata fırlatan çağrı dahil.

Bir insanın onaylaması gereken çağrılar

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ı. Otomatik onay yolu ve uzaktan onaylayan yoktur.

Harcama isteği alıcı, tutar, para birimi ve günlük sınırla kısıtlanır ve her zaman operatörü bekler. Verax yetkilendirmeyi kaydeder. Para taşımaz.

İzi bize güvenmeden kontrol etmek

verax verify <stateDir>, çalışan bir body olmadan ve ağa çıkmadan bir defter dizinini okur. Dört şeyi ayrı ayrı söyler: kaç imza doğrulanıyor, kayıt zinciri kopmamış mı, her etki bir karara bağlı mı ve hangi anahtar cevap verdi.

Kayıtların içinde taşınan anahtarla doğrulamak, dosyaların birbiriyle tutarlı olduğunu gösterir; anahtarın sizin olduğunu göstermez. Elinizdeki anahtarı --key ile sabitleyin.

Yapmadıkları

• İstem enjeksiyonunu süzmez. 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.
• Üçüncü taraf tanık değildir. Tanık süreci aynı makinede, aynı operatörün altında çalışır: ayrı bir anahtar, ayrı bir güven alanı değil.
• Değiştirilmek yerine silinmiş bir defteri fark etmez.
• Bunların hiçbiri henüz ödeme yapan bir müşterinin canlı trafiğinde çalışmadı. Pilot tatbikatları testtir, canlı kurulum değildir.

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.

Kod: github.com/verax-ai/verax · Neyin taşındığı, neyin kanıtlanmadığı: STATUS.md · Örnek panel: verax-ai.com/panel/?demo=1 (örnek veri, arkasında body yok).