Verification Engine
在 Agent 工作時，就攔下它們弄壞的地方。
Panolayer 會在每次儲存以及每個 Agent 完成工作時，將每項變更與所有相依於它的部分逐一檢查。當它標出錯誤時，你會拿到所在行、違反的規則，以及重現步驟。
免費開始 · 無需信用卡
某個 Agent 把 getUser() 改成回傳 null，而不是拋出例外。
它能編譯。getUser 的測試也通過。有六個呼叫端在沒有 null 檢查的情況下讀取 user.name，三天後它們在 staging 環境中失敗。diff 裡沒有任何東西告訴你它們存在。
運作方式
從你的原始碼到可重現的錯誤
每次儲存，以及每次 Agent 表示完成時，都會執行這五個步驟。
02
推導出程式碼的預期行為
Panolayer 會推導出每個函式應如何運作的規則，例如「回傳使用者或拋出例外，絕不回傳 null」。你可以加入自己的規則，或修正它推導錯誤的規則。
03
確切看出哪裡出錯
失敗時會顯示出錯的函式、違反的規則、實際發生的情況、發生位置，以及受影響的呼叫端。若為已確認的錯誤，還會附上導致失敗的輸入，讓你自行執行並觀察它如何失敗。
04
只顯示這次變更造成的問題
結果會與變更前的程式碼比對。原本就存在的失敗會標示為既存，讓你只看到新增的問題，而不是一堆積壓的項目。
05
修正程式碼，或修正規則
你可以自行修正程式碼，或將失敗連同受影響的呼叫端作為背景資訊，交給 Panolayer Agent 或你自己的 agent 處理。若是規則本身有誤，就修正規則。無論哪種方式，驗證都會重新執行。
持久化記憶
它會學習你的程式碼應有的行為
每一次修正都會保留在專案中。你的 Agent 每次開始工作階段時就已知道這些修正，而且你越常使用 Panolayer，檢查就越精準。
執行位置
兩種方式，找出 Agent 弄壞的地方
同一套 Verification Engine 同時運行於 Mac 應用程式與你的編輯器。
Agent
可與你現有的 agent 搭配運作
Panolayer Verification Engine 會檢查程式碼，不論是誰寫的：你、Panolayer Agent，或 Agent Marketplace 中支援的 20 多種 Agent。
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
常見問題
問題
還有其他問題？聯絡我們，我們會為你解答。
什麼是規則？
對程式碼行為的預期，例如「回傳使用者或拋出例外，絕不為 null」。Panolayer 會從你的程式碼推導出多數規則，並在每次變更時執行。
我可以自己撰寫規則嗎？
可以。你的規則會與 Panolayer 推導出的規則一起執行。
規則有誤時會怎樣？
修正它。修正內容會保留在專案中，並影響之後的每一次檢查。
驗證何時執行？
當你在分支上儲存檔案時，以及當 Agent 將任務標記為完成時。
速度有多快？
結果會在幾秒內回傳，快到讓你能執行 Agent、驗證、修正、再驗證，全程不必離開任務。
我的程式碼會被送到模型嗎？
你的儲存庫與其索引會留在你的 Mac 上，除非你同步或分享它們。使用模型的功能會將相關片段傳送給你所設定的供應商，並受該供應商的條款約束。詳見安全性頁面。
它會阻擋我合併嗎？
它約束的是 Agent，不是你。Agent 的工作會在你決定合併哪些內容之前完成驗證，而你隨時可以自行提交與合併。失敗項目會持續列出。
它會取代我的測試嗎？
不會。它與測試並行運作；在你設定的地方，它也會執行你的測試、建置與型別檢查。