VerifAI
AI TrustworthyLogin

"Se a IA vai construir cada vez mais software, precisamos de uma camada independente capaz de definir o que ela deve construir, verificar o que ela construiu e provar que a implementação está de acordo."

Ver preços
Compatibilidade

Integre o VerifAI ao seu stack de IA em minutos.

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.

Claude Code
Claude Code
Codex
Codex
Gemini
Gemini
Antigravity
Antigravity
OpenRouter
OpenRouter
DeepSeek
DeepSeek
Ollama
Ollama
LM Studio
LM Studio
+
mais

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.

Parametrização

Defina critérios de legitimidade e execução para cada modelo.

Escopo declarado
Critérios de política
Limites de execução
Design
Arquiteturas
Padrões
Prompt

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.

Evidências

Toda decisão recebe um "passaporte" auditável, rastreável e defensável.

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.

Planos

Prova por decisão, não por promessa

Você paga pelo volume de decisões verificadas. Todos os planos emitem passaporte, registram a cadeia e exportam a auditoria.

Boost
Gratuito
500 decisões / mês
Para provar o conceito em um único agente.
1 modelo registradoPassaporte com escopo declaradoRegistro de decisões por 30 diasExportação em PDFComunidade
Pro
Mais escolhido
A partir de
R$ 197R$ 98,50/mês
por mês · 5.000 decisões
Para equipes com mais softwares já em produção.
10 modelos registradosPolíticas de escopo e bloqueioRegistro por 12 mesesVerificação pré-execuçãoAté 6 assentos
Ultra
A partir de
R$ 397R$ 198,50/mês
por mês · 50.000 decisões
Para quem precisa responder ao comitê de risco.
50 modelos registradosCadeia de auditoria imutávelRegistro por 5 anosSSO e trilha de acessoAté 25 assentos
Enterprise
Sob consulta
volume ilimitado
Para operações reguladas e implantação dedicada.
Modelos e assentos ilimitadosImplantação on-premise ou VPCRetenção definida em contratoRevisão de conformidade assistidaSLA e engenheiro dedicado
Decisão verificada = uma chamada avaliada contra a política antes da execução.
Perguntas frequentes

O que perguntam antes de assinar

Escopo, retenção, integração e o que acontece quando um modelo age fora do que foi declarado.

O que é um passaporte de IA?+

É 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.

A verificação acontece antes ou depois da execução?+

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.

Quanto tempo leva para integrar?+

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.

Vocês veem o conteúdo dos prompts?+

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.

Como o passaporte é revogado?+

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.

O que conta como decisão verificada?+

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.

E se eu passar do volume do plano?+

Nada é bloqueado. O excedente é cobrado por faixa no ciclo seguinte e você recebe aviso ao cruzar 80% do volume contratado.

O registro serve como evidência em auditoria?+

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.

Quanto a verificação adiciona de latência?+

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.

Posso migrar de plano no meio do ciclo?+

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.

Ver planos