콘텐츠로 건너뛰기

검증 엔진

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 테스트도 통과합니다. 여섯 개의 호출자가 null 검사 없이 user.name을 읽고, 사흘 뒤 스테이징에서 실패합니다. diff에는 그들이 존재한다는 사실이 전혀 없었습니다.

작동 방식

소스에서 재현 가능한 버그까지

다섯 단계는 저장할 때마다, 그리고 agent가 완료를 알릴 때마다 실행됩니다.

01

코드 파싱

Panolayer는 repository를 컴파일러처럼 파싱합니다: 파일, 모듈, 함수, 클래스, import 및 전체 호출 그래프. 심볼은 모델이 추측하는 것이 아니라 소스에서 확인됩니다.

아키텍처 작동 방식
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든, Agent Marketplace에서 지원하는 20개 이상의 agent든 마찬가지입니다.

  • 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 둘러보기

FAQ

문의

다른 문의가 있으신가요? 문의하기를 통해 알려주시면 답변해 드리겠습니다.

규칙이란 무엇인가요?

코드가 어떻게 동작해야 하는지에 대한 기대치입니다. 예를 들어 “사용자를 반환하거나 예외를 발생시키며, 절대 null을 반환하지 않는다”와 같습니다. Panolayer는 대부분의 규칙을 코드에서 도출하며, 규칙은 모든 변경 시 실행됩니다.

직접 규칙을 작성할 수 있나요?

예. 사용자의 규칙은 Panolayer가 도출한 규칙과 함께 실행됩니다.

규칙이 잘못되면 어떻게 되나요?

수정하면 됩니다. 수정 사항은 프로젝트에 저장되며 이후 모든 검사에 반영됩니다.

검증은 언제 실행되나요?

브랜치에서 파일을 저장할 때, 그리고 agent가 작업을 완료로 표시할 때 실행됩니다.

얼마나 빠른가요?

결과는 몇 초 안에 반환되며, 작업을 벗어나지 않고 agent를 실행하고 검증하고 수정한 뒤 다시 검증할 수 있을 만큼 빠릅니다.

내 코드가 모델로 전송되나요?

repository와 해당 인덱스는 동기화하거나 공유하지 않는 한 Mac에 남아 있습니다. 모델을 사용하는 기능은 설정한 공급자에게 관련 발췌 내용을 전송하며, 해당 공급자의 약관이 적용됩니다. 자세한 내용은 보안 페이지에서 확인하세요.

병합을 차단하나요?

책임은 agent에게 있지, 사용자에게 있지 않습니다. 병합할 항목을 결정하기 전에 agent 작업이 검증되며, 언제든 직접 commit하고 merge할 수 있습니다. 실패 항목은 계속 목록에 표시됩니다.

제 테스트를 대체하나요?

아니요. 테스트와 함께 실행되며, 설정한 경우 테스트, 빌드, 타입 검사도 실행합니다.

agent가 배포하는 결과를 신뢰하세요.

무료로 시작 · 신용카드 등록 불필요

다음: Panolayer Studio