Naar inhoud springen

Verification Engine

Zie wat je agents kapotmaken, terwijl ze werken.

Panolayer toetst elke wijziging aan alles wat ervan afhankelijk is, bij elke opslag en elke keer dat een agent klaar is. Wanneer er een bug wordt gemarkeerd, krijg je de codelijn, de regel die het overtrad en de stappen om het te reproduceren.

Gratis beginnen · Geen creditcard nodig

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.

Volledige capture · scroll om de details te bekijken

Een agent wijzigt getUser() zodat deze null retourneert in plaats van een exception te gooien.

Het compileert. De getUser-tests slagen. Zes aanroepers lezen user.name zonder null-check, en ze falen drie dagen later in staging. Niets in de diff vertelde je dat ze bestonden.

Hoe het werkt

Van je broncode naar een bug die je kunt reproduceren

Vijf stappen worden uitgevoerd bij elke opslag en elke keer dat een agent zegt dat deze klaar is.

01

Je code parsen

Panolayer parseert je repository als een compiler: bestanden, modules, functies, klassen, imports en de volledige callgraph. Symbolen worden uit de broncode opgelost, niet door een model geraden.

Hoe Architecture werkt
Architecture · parsed from source

Architecture · parsed from source

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

Volledige capture · scroll om de details te bekijken

02

Bepaal wat de code verwacht

Panolayer leidt regels af voor hoe elke functie zich moet gedragen, zoals “retourneert een gebruiker of gooit een fout, nooit null.” Voeg je eigen regels toe, of corrigeer een regel die het verkeerd had.

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.

Volledige capture · scroll om de details te bekijken

03

Zie precies wat er kapot is

Een fout toont de functie, de regel die is overtreden, wat er daadwerkelijk gebeurde, waar, en welke aanroepers erdoor worden geraakt. Bij bevestigde bugs krijg je ook de invoer die de fout veroorzaakt, zodat je die kunt uitvoeren en de fout kunt zien optreden.

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.

Volledige capture · scroll om de details te bekijken

04

Alleen wat deze wijziging kapotmaakte

Resultaten worden vergeleken met je code van vóór de wijziging. Fouten die er al waren, krijgen het label pre-existing, zodat je ziet wat nieuw is, niet een backlog.

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.

Volledige capture · scroll om de details te bekijken

05

Los het op, of corrigeer de regel

Los de code zelf op, of stuur de fout naar Panolayer Agent of je eigen agent, met de getroffen aanroepers als context. Als de regel onjuist was, corrigeer die dan. In beide gevallen wordt de verificatie opnieuw uitgevoerd.

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.

Volledige capture · scroll om de details te bekijken

Persistent geheugen

Het leert hoe je code zich moet gedragen

Elke correctie wordt bij het project bewaard. Je agents beginnen elke sessie al met die kennis, en de controles worden scherper naarmate je Panolayer meer gebruikt.

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.

Volledige capture · scroll om de details te bekijken

Waar het draait

Twee manieren om te detecteren wat je agents kapotmaken

Dezelfde Verification Engine draait in de Mac-app en in je editor.

Agents

Werkt met de agents die je al gebruikt

De Panolayer Verification Engine controleert de code, ongeacht wie hem heeft geschreven: jij, de Panolayer Agent of een van de 20+ ondersteunde agents in de 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
Verken de Agent Marketplace

FAQ

Vragen

Iets anders? Neem contact op en we geven je antwoord.

Wat is een regel?

Een verwachting over hoe code zich gedraagt, zoals “retourneert een gebruiker of gooit een fout, nooit null.” Panolayer leidt de meeste regels af uit je code, en ze draaien bij elke wijziging.

Kan ik mijn eigen regels schrijven?

Ja. Je regels draaien naast de regels die Panolayer afleidt.

Wat gebeurt er als een regel onjuist is?

Corrigeer het. De correctie blijft bij het project bewaard en is bepalend voor elke controle daarna.

Wanneer wordt verificatie uitgevoerd?

Wanneer je een bestand op je branch opslaat, en wanneer een agent een taak als voltooid markeert.

Hoe snel is het?

Resultaten komen binnen enkele seconden terug — snel genoeg om de agent te draaien, te verifiëren, te corrigeren en opnieuw te verifiëren zonder de taak te verlaten.

Wordt mijn code naar een model gestuurd?

Je repository en de index ervan blijven op je Mac, tenzij je ze synchroniseert of deelt. Functies die een model gebruiken, sturen de relevante fragmenten naar de provider die je hebt ingesteld, onder de voorwaarden van die provider. Meer op de beveiligingspagina.

Blokkeert het mijn merge?

Het houdt agents tegen, jou niet. Agentwerk wordt geverifieerd voordat je beslist wat er wordt samengevoegd, en je kunt altijd zelf committen en mergen. Fouten blijven in de lijst staan.

Vervangt het mijn tests?

Nee. Het draait naast ze, en waar je het configureert, voert het ook je tests, builds en typechecks uit.

Vertrouw op wat je agents opleveren.

Gratis om te starten · Geen creditcard nodig

Volgende: Panolayer Studio