Funciona com Claude Code, Codex, Gemini, Antigravity e qualquer outro CLI de agente — cada um roda nas assinaturas e nos tokens que você já paga.
Os agentes continuam nas suas próprias credenciais. O VerifAI entra como camada de critérios, verificação e prova — sem trocar o seu stack.
Assim, o VerifAI não apenas observa o que a IA produziu. Ele estabelece os critérios, prepara a execução, verifica a implementação e cria as evidências necessárias para demonstrar que aquilo foi construído e executado conforme o esperado.
A plataforma trabalha com ações e decisões, comprovação, evidências, auditorias, políticas e controles.
O VerifAI consolida se a IA deveria fazer aquilo.
Você paga pelo volume de decisões verificadas. Todos os planos emitem passaporte, registram a cadeia e exportam a auditoria.
Escopo, retenção, integração e o que acontece quando um modelo age fora do que foi declarado.
É o registro de identidade de um modelo em produção: quem o publicou, qual escopo foi declarado, qual política o governa e qual a cadeia de decisões que ele já produziu. Toda decisão avaliada carrega o id do passaporte vigente.
Antes. A chamada é avaliada contra o escopo declarado e a política ativa; se estiver fora, é bloqueada e registrada com o motivo. A observabilidade tradicional só mostra o que já aconteceu.
Conecte, configure a política, prove. A integração é um proxy ou um SDK na camada de chamada do agente; os modelos e provedores suportados estão listados na seção de compatibilidade.
Por padrão registramos metadados da decisão e um hash do conteúdo. O corpo integral é opcional e, quando ativado, fica cifrado com chave da sua organização. No plano Enterprise o registro pode permanecer inteiramente na sua infraestrutura.
Pela política ou por decisão humana no console. Decisões futuras daquele modelo serão bloqueadas até a reemissão, e a revogação entra na cadeia de auditoria com autor, horário UTC e justificativa.
Uma chamada avaliada contra a política antes da execução. Retentativas do mesmo pedido contam uma vez; decisões bloqueadas contam, porque também geram registro.
Nada é bloqueado. O excedente é cobrado por faixa no ciclo seguinte e você recebe aviso ao cruzar 80% do volume contratado.
A cadeia é encadeada por hash e não editável após a gravação. A exportação traz o relatório de passaporte com veredito, política vigente e horários em UTC, no formato entregue ao auditor.
A avaliação de política roda na borda e mede dezenas de milissegundos na mediana. Políticas que exigem consulta externa são declaradas como assíncronas e não bloqueiam o caminho de resposta.
Sim, com valor proporcional ao tempo restante. O histórico e os passaportes já emitidos são preservados, e a retenção passa a seguir a do novo plano.