Panolayer para GitHub Em breve

Revisão de código que traz a prova.

Um agente de revisão para cada pull request, construído sobre o Verification Engine. Quando ele sinaliza um bug, mostra a linha, a entrada que falhou e os passos para reproduzi-lo.

Let people edit their profile#214 1 new issue

app/api/users/[handle]/route.ts

41 export async function PATCH(req, { params }) {42   const body = await req.json();43+ await updateProfile(params.handle, body);44   return Response.json({ ok: true });

panolayer reviewed · line 43

Before updating a profile, the PATCH handler checks that the target user is the current viewer.

Failing input@bob → PATCH /api/users/alice

Expected403 Forbidden

Got200 OK · profile overwritten

Sign in as @bob
Send PATCH /api/users/alice with a new name
Open @alice’s profile: the name was changed by bob

ReplyFix with an agent

Modelo de verificação v2 · Chegando em breve

Nosso modelo de verificação v2 está quente.

Ele não para em detectar o bug. Ele devolve a entrada que o dispara e os passos para reproduzi-lo. O benchmark de revisão fica público em review-bench.ai. Entre na lista antes do lançamento.

Entrar na lista de espera

Cada pull request, verificado

O Panolayer verifica cada mudança em relação a tudo que depende dela, função por função, e comenta na linha exata.

Prova que você mesmo pode executar

Cada achado vem com a entrada que faz a função falhar e os passos para reproduzir. Nada de “isso pode ser um bug.”

Apenas problemas novos

Código que já estava falhando é marcado, para que os revisores vejam o que este pull request quebrou, e não um acúmulo de pendências.

Seja o primeiro da lista.

Um e-mail quando o Panolayer for GitHub for lançado. Até lá, o Panolayer Studio já roda a mesma verificação no seu Mac hoje.

Conheça o Panolayer Studio