Motor de verificación
Panolayer comprueba cada cambio contra todo lo que depende de él, en cada guardado y cada vez que un agent termina. Cuando marca un error, obtienes la línea, la regla que se ha incumplido y los pasos para reproducirlo.
Empieza gratis · No se necesita tarjeta de crédito
getUser() para que devuelva null en lugar de lanzar una excepción.Compila. Las pruebas de getUser pasan. Seis llamadores leen user.name sin comprobar si es null y fallan en staging tres días después. Nada en el diff te avisaba de que existían.
Cómo funciona
Cinco pasos se ejecutan en cada guardado y cada vez que un agent dice que ha terminado.
01
Panolayer analiza tu repository como un compilador: archivos, módulos, funciones, clases, imports y el grafo de llamadas completo. Los símbolos se resuelven desde el código fuente, no los adivina un modelo.
Cómo funciona Architecture02
Panolayer deriva reglas sobre cómo debería comportarse cada función, como «devuelve un usuario o lanza una excepción, nunca null». Añade tus propias reglas o corrige una que haya deducido mal.
03
Un fallo muestra la función, la regla que incumplió, qué ocurrió realmente, dónde y a qué llamadores afecta. En el caso de errores confirmados, también obtienes la entrada que lo hace fallar, para que puedas ejecutarla y ver cómo falla.
04
Los resultados se comparan con tu código antes del cambio. Los fallos que ya existían se etiquetan como preexistentes, para que veas lo nuevo, no una acumulación de fallos pendientes.
05
Corrige el código tú mismo o envía el fallo a Panolayer Agent o a tu propio agent con los llamadores afectados como contexto. Si la regla era incorrecta, corrígela. En cualquier caso, la verificación se ejecuta de nuevo.
Memoria persistente
Cada corrección se conserva con el proyecto. Tus agents empiezan cada sesión ya sabiéndolo, y las comprobaciones se vuelven más precisas cuanto más usas Panolayer.
Dónde se ejecuta
El mismo Verification Engine se ejecuta en la app de Mac y en tu editor.
Agents
El Verification Engine de Panolayer revisa el código independientemente de quién lo haya escrito: tú, el Panolayer Agent o cualquiera de los más de 20 agents compatibles del 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 CodePreguntas frecuentes
¿Algo más? Contacta con nosotros y te responderemos.
Una expectativa sobre cómo se comporta el código, como «devuelve un usuario o lanza una excepción, nunca null». Panolayer deriva la mayoría de las reglas de tu código, y se ejecutan en cada cambio.
Sí. Tus reglas se ejecutan junto a las que deriva Panolayer.
Corrígelo. La corrección se conserva con el proyecto y condiciona cada comprobación posterior.
Cuando guardas un archivo en tu rama y cuando un agent marca una tarea como completada.
Los resultados llegan en segundos, lo bastante rápido para ejecutar el agent, verificar, corregir y volver a verificar sin salir de la tarea.
Tu repository y su índice permanecen en tu Mac a menos que los sincronices o los compartas. Las funciones que usan un modelo envían los fragmentos relevantes al proveedor que hayas configurado, según los términos de ese proveedor. Más información en la página de Seguridad.
Retiene a los agent, no a ti. El trabajo del agent se verifica antes de que decidas qué se fusiona, y siempre puedes hacer commit y merge tú mismo. Los fallos permanecen en la lista.
No. Se ejecuta junto a ellos y, donde lo configures, también ejecuta tus tests, compilaciones y comprobaciones de tipos.
Empieza gratis · No se necesita tarjeta de crédito