Прескачане към съдържанието

Verification Engine

Хванете какво чупят вашите agent, докато работят.

Panolayer проверява всяка промяна спрямо всичко, което зависи от нея, при всяко запазване и всеки път, когато agent приключи. Когато сигнализира за бъг, получавате реда, правилото, което е нарушено, и стъпките за възпроизвеждане.

Безплатно за начало · Не е необходима кредитна карта

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.

Пълен размер · превърти, за да разгледаш детайлите

Промяна от agent кара getUser() да връща null вместо да хвърля изключение.

Компилира се. Тестовете за getUser минават. Шест извикващи места четат user.name без проверка за null и се провалят в staging три дни по-късно. Нищо в diff не ви каза, че съществуват.

Как работи

От кода ви до бъг, който можете да възпроизведете

Пет стъпки се изпълняват при всяко запазване и всеки път, когато agent каже, че е готов.

01

Парсвайте кода ви

Panolayer парсва вашия repository като компилатор: файлове, модули, функции, класове, импорти и пълния граф на извикванията. Символите се резолвват от изходния код, а не се отгатват от модел.

Как работи архитектурата
Architecture · parsed from source

Architecture · parsed from source

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

Пълен размер · превърти, за да разгледаш детайлите

02

Разберете какво очаква кодът

Panolayer извежда правила за това как трябва да се държи всяка функция, например „връща потребител или хвърля изключение, никога null“. Добавете свои правила или коригирайте правило, което е сгрешило.

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.

Пълен размер · превърти, за да разгледаш детайлите

03

Вижте точно какво се счупи

Неуспехът показва функцията, нарушеното правило, какво в действителност се е случило, къде и кои извикващи функции засяга. За потвърдени бъгове получавате и входа, който предизвиква неуспеха, за да го стартирате и да видите как се чупи.

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.

Пълен размер · превърти, за да разгледаш детайлите

04

Само това, което тази промяна е счупила

Резултатите се сравняват с кода ви преди промяната. Неуспехите, които вече са били налице, се означават като предварително съществуващи, така че виждате какво е ново, а не натрупан списък със стари проблеми.

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.

Пълен размер · превърти, за да разгледаш детайлите

05

Поправете го или поправете правилото

Поправете кода сами или изпратете неуспеха до Panolayer Agent или до свой собствен agent, като дадете засегнатите извикващи функции като контекст. Ако правилото е било грешно, коригирайте го. И в двата случая проверката се изпълнява отново.

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.

Пълен размер · превърти, за да разгледаш детайлите

Постоянна памет

Научава как трябва да се държи кодът ви

Всяка корекция се запазва заедно с проекта. Вашите agent-и започват всяка сесия, като вече я знаят, а проверките стават по-прецизни, колкото повече използвате Panolayer.

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.

Пълен размер · превърти, за да разгледаш детайлите

Къде се изпълнява

Два начина да уловите какво чупят вашите agent-и

Същият Verification Engine работи в приложението за Mac и във вашия редактор.

Agents

Работи с agent-ите, които вече използвате

Panolayer Verification Engine проверява кода независимо кой го е написал: вие, Panolayer Agent или някой от 20+ поддържани agent-и в 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

ЧЗВ

Въпроси

Нещо друго? Свържете се с нас и ще отговорим.

Какво е правило?

Очакване за това как се държи кодът, например „връща потребител или хвърля изключение, никога null.“ Panolayer извлича повечето правила от кода ви и те се изпълняват при всяка промяна.

Мога ли да пиша собствени правила?

Да. Вашите правила се изпълняват заедно с тези, които Panolayer извлича.

Какво се случва, когато правило е грешно?

Коригирайте го. Корекцията се запазва с проекта и оформя всяка следваща проверка.

Кога се изпълнява проверката?

Когато запазите файл в своя клон и когато agent маркира задача като завършена.

Колко бързо е?

Резултатите се връщат за секунди — достатъчно бързо, за да стартирате agent, да проверите, да коригирате и да проверите отново, без да напускате задачата.

Изпраща ли се кодът ми към модел?

Вашият repository и неговият индекс остават на вашия Mac, освен ако не ги синхронизирате или споделите. Функциите, които използват модел, изпращат съответните откъси до доставчика, който сте настроили, при неговите условия. Повече на страницата за сигурност.

Блокира ли сливането ми?

Той спира agent, а не вас. Работата на agent се проверява, преди да решите какво да се слее, и винаги можете сами да направите commit и да слеете. Неуспехите остават в списъка.

Заменя ли тестовете ми?

Не. Работи редом с тях и там, където го конфигурирате, изпълнява и вашите тестове, билдове и проверки на типове.

Доверете се на това, което вашите agent пускат.

Безплатно за начало · Не е необходима кредитна карта

Следващо: Panolayer Studio