Zum Inhalt springen

Verification Engine

Erkennen Sie, was Ihre Agenten kaputt machen, während sie arbeiten.

Panolayer prüft jede Änderung gegen alles, was davon abhängt – bei jedem Speichern und jedes Mal, wenn ein Agent fertig wird. Wenn ein Bug markiert wird, erhalten Sie die Zeile, die verletzte Regel und die Schritte, um ihn zu reproduzieren.

Kostenlos starten · Keine Kreditkarte erforderlich

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.

Vollständige Aufnahme · scrollen, um die Details zu prüfen

Ein Agent ändert getUser() so, dass es null zurückgibt, statt eine Exception auszulösen.

Es kompiliert. Die getUser-Tests laufen durch. Sechs Aufrufer lesen user.name ohne Null-Prüfung – und schlagen drei Tage später im Staging fehl. Nichts im Diff verriet dir, dass es sie gab.

So funktioniert es

Von deinem Quellcode zu einem reproduzierbaren Bug

Fünf Schritte laufen bei jedem Speichern und jedes Mal, wenn ein Agent sagt, dass er fertig ist.

01

Deinen Code parsen

Panolayer parst dein Repository wie ein Compiler: Dateien, Module, Funktionen, Klassen, Imports und den vollständigen Aufrufgraphen. Symbole werden aus dem Quellcode aufgelöst, nicht von einem Modell erraten.

So funktioniert Architecture
Architecture · parsed from source

Architecture · parsed from source

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

Vollständige Aufnahme · scrollen, um die Details zu prüfen

02

Ermitteln, was der Code erwartet

Panolayer leitet Regeln dafür ab, wie sich jede Funktion verhalten soll, etwa „gibt einen User zurück oder wirft einen Fehler, niemals null“. Fügen Sie eigene Regeln hinzu oder korrigieren Sie eine, die es falsch erkannt hat.

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.

Vollständige Aufnahme · scrollen, um die Details zu prüfen

03

Sehen Sie genau, was fehlgeschlagen ist

Ein Fehlschlag zeigt die Funktion, die verletzte Regel, was tatsächlich passiert ist, wo, und welche Aufrufer betroffen sind. Bei bestätigten Bugs erhalten Sie zusätzlich die Eingabe, die den Fehler auslöst, sodass Sie sie ausführen und den Fehler beobachten können.

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.

Vollständige Aufnahme · scrollen, um die Details zu prüfen

04

Nur was diese Änderung kaputt gemacht hat

Die Ergebnisse werden mit Ihrem Code vor der Änderung verglichen. Fehler, die schon vorher vorhanden waren, werden als vorbestehend gekennzeichnet. So sehen Sie, was neu ist, statt eines Backlogs.

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.

Vollständige Aufnahme · scrollen, um die Details zu prüfen

05

Fehler beheben oder Regel korrigieren

Beheben Sie den Code selbst oder senden Sie den Fehler mit den betroffenen Aufrufern als Kontext an Panolayer Agent oder Ihren eigenen Agent. War die Regel falsch, korrigieren Sie sie. In beiden Fällen läuft die Verifikation erneut.

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.

Vollständige Aufnahme · scrollen, um die Details zu prüfen

Persistentes Gedächtnis

Es lernt, wie sich Ihr Code verhalten soll

Jede Korrektur wird beim Projekt gespeichert. Ihre agents starten jede Sitzung bereits mit diesem Wissen, und die Prüfungen werden schärfer, je mehr Sie Panolayer nutzen.

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.

Vollständige Aufnahme · scrollen, um die Details zu prüfen

Wo sie läuft

Zwei Wege, zu erkennen, was Ihre Agents kaputt machen

Dieselbe Verification Engine läuft in der Mac-App und in deinem Editor.

Agents

Funktioniert mit den Agents, die du bereits nutzt

Die Panolayer Verification Engine prüft den Code unabhängig davon, wer ihn geschrieben hat: du, der Panolayer Agent oder einer der über 20 unterstützten Agents im Agent Marketplace.

  • 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 durchsuchen

FAQ

Fragen

Etwas anderes? Kontaktieren Sie uns und wir antworten.

Was ist eine Regel?

Eine Erwartung daran, wie sich Code verhält, etwa „gibt einen User zurück oder wirft eine Exception, niemals null“. Die meisten Regeln leitet Panolayer aus Ihrem Code ab, und sie laufen bei jeder Änderung.

Kann ich eigene Regeln schreiben?

Ja. Ihre Regeln laufen parallel zu denen, die Panolayer ableitet.

Was passiert, wenn eine Regel falsch ist?

Korrigieren Sie es. Die Korrektur bleibt beim Projekt und prägt jede weitere Prüfung.

Wann läuft die Verifikation?

Wenn Sie eine Datei in Ihrem Branch speichern und wenn ein Agent eine Aufgabe als erledigt markiert.

Wie schnell ist es?

Ergebnisse kommen in Sekunden zurück – schnell genug, um den Agent laufen zu lassen, zu verifizieren, zu korrigieren und erneut zu verifizieren, ohne die Aufgabe zu verlassen.

Wird mein Code an ein Modell gesendet?

Ihr Repository und sein Index bleiben auf Ihrem Mac, sofern Sie sie nicht synchronisieren oder freigeben. Funktionen, die ein Modell nutzen, senden die relevanten Auszüge an den von Ihnen eingerichteten Anbieter – zu dessen Bedingungen. Mehr dazu auf der Sicherheitsseite.

Blockiert es meinen Merge?

Es hält Agenten zurück, nicht Sie. Agent-Arbeit wird verifiziert, bevor Sie entscheiden, was gemergt wird, und Sie können jederzeit selbst committen und mergen. Fehler bleiben aufgeführt.

Ersetzt es meine Tests?

Nein. Es läuft parallel zu ihnen und führt dort, wo du es konfigurierst, auch deine Tests, Builds und Typprüfungen aus.

Vertraue darauf, was deine Agenten ausliefern.

Kostenlos starten · Keine Kreditkarte erforderlich

Weiter: Panolayer Studio