Silnik weryfikacji

Wyłapuj to, co psują twoi agenci, w trakcie ich pracy.

Panolayer sprawdza każdą zmianę pod kątem wszystkiego, co od niej zależy — przy każdym zapisie i po każdym zakończeniu pracy agenta. Gdy zgłosi błąd, otrzymujesz wiersz kodu, złamaną regułę i kroki do odtworzenia błędu.

Pobierz dla Mac

Zacznij bezpłatnie · Karta kredytowa nie jest wymagana

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.

Agent zmienia `getUser()`, aby zwracał null zamiast rzucać wyjątek.

Kompiluje się. Testy getUser przechodzą. Sześciu wywołujących odczytuje user.name bez sprawdzenia wartości null i trzy dni później zawodzą na stagingu. Nic w diffie nie wskazywało, że istnieją.

Jak to działa

Od Twojego kodu źródłowego do błędu, który możesz odtworzyć

Pięć kroków uruchamia się przy każdym zapisie i za każdym razem, gdy agent zgłasza, że skończył.

Parsuj swój kod

Panolayer parsuje Twoje repository jak kompilator: pliki, moduły, funkcje, klasy, importy i pełny graf wywołań. Symbole są rozwiązywane na podstawie kodu źródłowego, a nie zgadywane przez model.

Jak działa Architektura

Panolayer Studio architecture map connects the sample repository to its routes, components and shared libraries. — Architecture · parsed from source

Ustal, czego oczekuje kod

Panolayer wyprowadza reguły określające, jak powinna zachowywać się każda funkcja — na przykład „zwraca użytkownika albo zgłasza wyjątek, nigdy null”. Dodaj własne reguły lub popraw tę, którą ustalił błędnie.

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. — The rule the function must follow

Zobacz dokładnie, co się zepsuło

Niepowodzenie pokazuje funkcję, regułę, którą naruszyła, co faktycznie się stało, gdzie i których wywołujących dotyczy. W przypadku potwierdzonych błędów otrzymujesz także dane wejściowe powodujące niepowodzenie, więc możesz je uruchomić i zobaczyć, jak się psuje.

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. — The failure, anchored to the source

Tylko to, co zepsuła ta zmiana

Wyniki są porównywane z kodem sprzed zmiany. Niepowodzenia, które istniały już wcześniej, są oznaczone jako istniejące wcześniej, więc widzisz to, co nowe, a nie zaległości.

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

Napraw to lub napraw regułę

Napraw kod samodzielnie lub wyślij niepowodzenie do Panolayer Agent albo własnego agenta, przekazując jako kontekst wywołujących, których to dotyczy. Jeśli reguła była błędna, popraw ją. Tak czy inaczej weryfikacja uruchomi się ponownie.

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

Trwała pamięć

Uczy się, jak powinien zachowywać się Twój kod

Każda korekta jest przechowywana wraz z projektem. Twoi agenci rozpoczynają każdą sesję z tą wiedzą, a kontrole stają się coraz precyzyjniejsze, im częściej używasz Panolayer.

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.

Gdzie działa

Dwa sposoby na wychwycenie tego, co psują twoi agenci

Ten sam Verification Engine działa w aplikacji na Maca i w twoim edytorze.

Panolayer Studio

Przy każdym zapisie i za każdym razem, gdy agent kończy pracę. Agent nie może scalić własnej pracy z twoją gałęzią bez twojej zgody. Pobierz na Maca.

Panolayer for VS Code

W VS Code i Cursor, z wynikami analizy obok kodu źródłowego. Wkrótce. Dołącz do listy oczekujących na premierę.

Agenty

Działa z agentami, których już używasz

Panolayer Verification Engine sprawdza kod niezależnie od tego, kto go napisał: ty, Panolayer Agent lub dowolny z ponad 20 obsługiwanych agentów w Agent Marketplace.

Panolayer Agent
Aider
Claude Code
Cline CLI
Codex CLI
Crush
Deep Agents Code
Gemini CLI
GitHub Copilot CLI
Goose
Kilo Code CLI
Kimi Code
Letta Code
mini-SWE-agent
Mistral Vibe
Open Interpreter
OpenClaw
OpenCode
Pi Coding Agent
Plandex
Qwen Code

Przeglądaj Agent Marketplace

FAQ

Pytania

Coś innego? Skontaktuj się z nami — odpowiemy.

Czym jest reguła?

Oczekiwanie dotyczące zachowania kodu, np. „zwraca użytkownika lub zgłasza wyjątek, nigdy null”. Panolayer wyprowadza większość reguł z Twojego kodu, a są one uruchamiane przy każdej zmianie.

Czy mogę pisać własne reguły?

Tak. Twoje reguły działają obok reguł wyprowadzanych przez Panolayer.

Co się dzieje, gdy reguła jest błędna?

Popraw to. Poprawka zostaje zapisana wraz z projektem i kształtuje każde kolejne sprawdzenie.

Kiedy uruchamiana jest weryfikacja?

Gdy zapiszesz plik na swojej gałęzi oraz gdy agent oznaczy zadanie jako wykonane.

Jak szybko działa?

Wyniki wracają w kilka sekund — wystarczająco szybko, by uruchomić agenta, zweryfikować, poprawić i zweryfikować ponownie bez opuszczania zadania.

Czy mój kod jest wysyłany do modelu?

Twoje repozytorium i jego indeks pozostają na Twoim Macu, chyba że je zsynchronizujesz lub udostępnisz. Funkcje korzystające z modelu wysyłają odpowiednie fragmenty do skonfigurowanego przez Ciebie dostawcy, na jego warunkach. Więcej na stronie Bezpieczeństwo.

Czy blokuje moje scalenie?

Wstrzymuje agentów, nie Ciebie. Praca agenta jest weryfikowana, zanim zdecydujesz, co zostanie scalone, a Ty zawsze możesz samodzielnie zrobić commit i scalenie. Niepowodzenia pozostają na liście.

Czy zastępuje moje testy?

Nie. Działa obok nich, a tam, gdzie go skonfigurujesz, uruchamia również Twoje testy, kompilacje i sprawdzanie typów.

Ufaj temu, co wdrażają Twoi agenci.

Pobierz dla Mac Rozszerzenie VS Code, wkrótce

Zacznij bezpłatnie · Karta kredytowa nie jest wymagana

Dalej: Panolayer Studio