İçeriğe atla

Doğrulama Motoru

Agent'larınızın neyi bozduğunu, daha çalışırken yakalayın.

Panolayer her değişikliği, ona bağlı olan her şeye karşı denetler; her kayıtta ve her agent bitişinde. Bir hata işaretlediğinde satırı, ihlal ettiği kuralı ve yeniden üretme adımlarını alırsınız.

Ücretsiz başlayın · Kredi kartı gerekmez

Verification Engine · find the bug, fix it, review the result

A real verification run finds a file-handle bug in writeArchive. Fix hands it to Panolayer Agent, the change is checked again, and the result is presented for review before merging.

Tam görüntü · ayrıntıları incelemek için kaydırın

Bir agent, getUser() işlevini hata fırlatmak yerine null döndürecek şekilde değiştirir.

Derlenir. getUser testleri geçer. Altı çağıran, null kontrolü olmadan user.name okur ve üç gün sonra staging ortamında başarısız olurlar. Diff'teki hiçbir şey bunların var olduğunu size söylemedi.

Nasıl çalışır

Kaynak kodunuzdan yeniden üretebileceğiniz bir hataya

Her kayıtta ve bir agent bittiğini söylediğinde beş adım çalışır.

01

Kodunuzu ayrıştırın

Panolayer, repository'nizi bir derleyici gibi ayrıştırır: dosyalar, modüller, işlevler, sınıflar, import'lar ve tam çağrı grafiği. Semboller kaynaktan çözümlenir, bir model tarafından tahmin edilmez.

Mimari nasıl çalışır
Architecture · parsed from source

Architecture · parsed from source

Panolayer Studio architecture map connects the sample repository to its routes, components and shared libraries.

Tam görüntü · ayrıntıları incelemek için kaydırın

02

Kodun ne beklediğini belirleyin

Panolayer, her fonksiyonun nasıl davranması gerektiğine dair kurallar türetir; örneğin “bir kullanıcı döndürür ya da hata fırlatır, asla null döndürmez.” Kendi kurallarınızı ekleyin veya yanlış çıkardığı bir kuralı düzeltin.

The rule the function must follow

The rule the function must follow

The file rule requires writeArchive to close the descriptor opened by fs.openSync on every return path, including when a write throws. An Add a file rule field appears below it.

Tam görüntü · ayrıntıları incelemek için kaydırın

03

Tam olarak neyin bozulduğunu görün

Bir başarısızlık; fonksiyonu, ihlal ettiği kuralı, gerçekte ne olduğunu, nerede olduğunu ve hangi çağıranları etkilediğini gösterir. Doğrulanmış hatalar için hataya yol açan girdiyi de alırsınız; böylece çalıştırıp nasıl bozulduğunu izleyebilirsiniz.

The failure, anchored to the source

The failure, anchored to the source

The review explains that writeArchive opens a file descriptor at line 12 without closing it on the return at line 25 or when fs.writeSync throws, then describes the repair.

Tam görüntü · ayrıntıları incelemek için kaydırın

04

Yalnızca bu değişikliğin bozdukları

Sonuçlar, değişiklik öncesindeki kodunuzla karşılaştırılır. Zaten var olan hatalar önceden mevcut olarak etiketlenir; böylece birikmiş işler yerine yeni olanı görürsünüz.

New failures vs. the project baseline

New failures vs. the project baseline

Worktree verification reports no new failures or rule regressions and separately labels two pre-existing failures that do not block the merge.

Tam görüntü · ayrıntıları incelemek için kaydırın

05

Hatayı düzeltin ya da kuralı düzeltin

Kodu kendiniz düzeltin ya da hatayı, etkilenen çağıranları bağlam olarak ekleyerek Panolayer Agent'a veya kendi agent'ınıza gönderin. Kural yanlışsa düzeltin. Her iki durumda da doğrulama yeniden çalışır.

Hand the failed rule to Panolayer Agent

Hand the failed rule to Panolayer Agent

The Fix menu beside the writeArchive file rule offers Panolayer Agent to work on the failure.

Tam görüntü · ayrıntıları incelemek için kaydırın

Kalıcı bellek

Kodunuzun nasıl davranması gerektiğini öğrenir

Her düzeltme projeyle birlikte saklanır. Agent'larınız her oturuma bunu zaten bilerek başlar ve Panolayer'ı daha çok kullandıkça kontroller keskinleşir.

Project context · editable function descriptions

The writeArchive function description explains that it writes posts to a JSON Lines file and returns its path. A pencil control edits the description, with Verified · No issues found displayed below.

Tam görüntü · ayrıntıları incelemek için kaydırın

Nerede çalışır

agent’larınızın neleri bozduğunu yakalamanın iki yolu

Aynı Verification Engine, Mac uygulamasında ve editörünüzde çalışır.

Agent'lar

Zaten kullandığınız agent'larla çalışır

Panolayer Verification Engine, kodu kimin yazdığından bağımsız olarak denetler: siz, Panolayer Agent veya Agent Marketplace’teki 20+ desteklenen agent’tan herhangi biri.

  • Panolayer AgentPanolayer Agent
  • AiderAider
  • Claude CodeClaude Code
  • Cline CLICline CLI
  • Codex CLICodex CLI
  • CrushCrush
  • Deep Agents CodeDeep Agents Code
  • Gemini CLIGemini CLI
  • GitHub Copilot CLIGitHub Copilot CLI
  • GooseGoose
  • Kilo Code CLIKilo Code CLI
  • Kimi CodeKimi Code
  • Letta CodeLetta Code
  • mini-SWE-agentmini-SWE-agent
  • Mistral VibeMistral Vibe
  • Open InterpreterOpen Interpreter
  • OpenClawOpenClaw
  • OpenCodeOpenCode
  • Pi Coding AgentPi Coding Agent
  • PlandexPlandex
  • Qwen CodeQwen Code
Agent Marketplace'e göz atın

SSS

Sorular

Başka bir şey mi? Bize ulaşın, yanıtlayalım.

Kural nedir?

Kodun nasıl davrandığına dair bir beklenti; örneğin “bir kullanıcı döndürür ya da hata fırlatır, asla null değil.” Panolayer kuralların çoğunu kodunuzdan türetir ve bunlar her değişiklikte çalışır.

Kendi kurallarımı yazabilir miyim?

Evet. Kendi kurallarınız Panolayer'ın türettikleriyle birlikte çalışır.

Bir kural yanlış olduğunda ne olur?

Düzeltin. Düzeltme projeyle birlikte saklanır ve sonraki her kontrolü şekillendirir.

Doğrulama ne zaman çalışır?

Dalınızdaki bir dosyayı kaydettiğinizde ve bir agent bir görevi tamamlandı olarak işaretlediğinde.

Ne kadar hızlı?

Sonuçlar saniyeler içinde döner; görevi bırakmadan agent'ı çalıştırıp doğrulama yapmanıza, düzeltip yeniden doğrulamanıza yetecek kadar hızlıdır.

Kodum bir modele gönderiliyor mu?

repository'niz ve dizini, eşitlemediğiniz veya paylaşmadığınız sürece Mac'inizde kalır. Model kullanan özellikler, ilgili bölümleri kurduğunuz sağlayıcıya, o sağlayıcının koşulları kapsamında gönderir. Daha fazlası Güvenlik sayfasında.

Birleştirmemi engelliyor mu?

Sizi değil, agent'ları durdurur. Agent çalışması, neyin birleştirileceğine karar vermeden önce doğrulanır ve siz her zaman kendiniz commit ve birleştirme yapabilirsiniz. Hatalar listede kalır.

Testlerimin yerini alır mı?

Hayır. Onlarla birlikte çalışır ve yapılandırdığınız yerlerde testlerinizi, derlemelerinizi ve tip kontrollerinizi de çalıştırır.

Agent'larınızın teslim ettiği şeye güvenin.

Başlamak ücretsiz · Kredi kartı gerekmez

Sonraki: Panolayer Studio