Moteur de vérification
Panolayer vérifie chaque modification par rapport à tout ce qui en dépend, à chaque enregistrement et à chaque fois qu'un agent termine. Lorsqu'un bug est signalé, vous obtenez la ligne, la règle enfreinte et les étapes pour le reproduire.
Gratuit pour commencer · Aucune carte bancaire requise
getUser() pour renvoyer null au lieu de lever une exception.Cela compile. Les tests de getUser passent. Six appelants lisent user.name sans vérification de null, et ils échouent en staging, trois jours plus tard. Rien dans le diff ne vous indiquait leur existence.
Fonctionnement
Cinq étapes s’exécutent à chaque enregistrement et chaque fois qu’un agent déclare avoir terminé.
01
Panolayer analyse votre repository comme un compilateur : fichiers, modules, fonctions, classes, imports et graphe d’appels complet. Les symboles sont résolus à partir de la source, et non devinés par un modèle.
Fonctionnement d’Architecture02
Panolayer déduit des règles sur le comportement attendu de chaque fonction, comme « renvoie un utilisateur ou lève une exception, jamais null ». Ajoutez vos propres règles ou corrigez-en une qu’il a mal déduite.
03
Un échec indique la fonction, la règle enfreinte, ce qui s’est réellement produit, où, et quels appelants sont concernés. Pour les bugs confirmés, vous obtenez aussi l’entrée qui le fait échouer, pour pouvoir l’exécuter et le voir échouer.
04
Les résultats sont comparés à votre code avant la modification. Les échecs déjà présents sont étiquetés « préexistants », pour que vous voyiez ce qui est nouveau, et non un arriéré.
05
Corrigez le code vous-même, ou envoyez l’échec à Panolayer Agent ou à votre propre agent avec les appelants concernés comme contexte. Si la règle était erronée, corrigez-la. Dans les deux cas, la vérification est relancée.
Mémoire persistante
Chaque correction est conservée avec le projet. Vos agents démarrent chaque session en la connaissant déjà, et les vérifications s'affinent à mesure que vous utilisez Panolayer.
Où il s'exécute
Le même Verification Engine s’exécute dans l’app Mac et dans votre éditeur.
À chaque enregistrement et chaque fois qu’un agent termine. Un agent ne peut pas fusionner son propre travail dans votre branche sans votre approbation. Télécharger pour Mac.
Dans VS Code et Cursor, avec les résultats à côté de votre code source. Bientôt disponible. Inscrivez-vous à la liste de lancement.
Agents
Le Panolayer Verification Engine vérifie le code quel que soit son auteur : vous, le Panolayer Agent, ou l’un des 20+ agents pris en charge dans l’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 CodeFAQ
Autre chose ? Contactez-nous et nous vous répondrons.
Une attente quant au comportement du code, par exemple « renvoie un utilisateur ou lève une exception, jamais null. » Panolayer déduit la plupart des règles de votre code, et elles s'exécutent à chaque modification.
Oui. Vos règles s'exécutent aux côtés de celles que Panolayer déduit.
Corrigez-la. La correction est conservée avec le projet et oriente chaque vérification par la suite.
Lorsque vous enregistrez un fichier sur votre branche, et lorsqu'un agent marque une tâche comme terminée.
Les résultats arrivent en quelques secondes, assez vite pour lancer l'agent, vérifier, corriger et vérifier de nouveau sans quitter la tâche.
Votre repository et son index restent sur votre Mac, sauf si vous les synchronisez ou les partagez. Les fonctionnalités qui font appel à un modèle envoient les extraits pertinents au fournisseur que vous avez configuré, selon les conditions de ce fournisseur. Plus d'informations sur la page Sécurité.
Il bloque les agents, pas vous. Le travail des agents est vérifié avant que vous ne décidiez de ce qui est fusionné, et vous pouvez toujours effectuer vous-même vos commit et vos fusions. Les échecs restent listés.
Non. Il s’exécute à leurs côtés et, là où vous le configurez, il exécute aussi vos tests, compilations et vérifications de types.
Gratuit pour commencer · Aucune carte bancaire requise