Por dentro
Como o seu bot lê pedidos sem um modelo de IA, as ferramentas que o verificam e a pesquisa por trás delas.
Inteligente onde importa, previsível no resto
Três coisas mantêm seu agente útil, barato e seguro, e nenhuma delas exige que você entenda como a IA funciona.
Ele entende o que as pessoas pedem
Seu agente lê cada pedido comparando-o com o que cada uma das suas ferramentas diz que faz, e escolhe sozinho a certa, sem perguntar ao modelo de IA. Ele lê pedidos escritos em inglês ou em português do Brasil, o idioma que você escolher, com ou sem acentos. O mesmo pedido sempre leva à mesma ferramenta, e você consegue ver por quê. Ele aprende as palavras dos seus próprios clientes com o joinha para cima ou para baixo, e só guarda uma palavra nova quando ela não piora nada.
Ele trabalha com as ferramentas que você já tem
Conecte os sistemas que sua empresa já usa. Cada ferramenta é verificada antes que seu agente possa usá-la: segredos que ela poderia vazar, dados que poderia mandar para onde não deve, mudanças que poderia fazer sem volta. Depois, a cada uso, suas regras decidem: pode seguir, pergunte antes a uma pessoa, ou recuse.
O fluxo inteiro é verificado antes de rodar
Antes que seu agente, ou uma equipe de agentes trabalhando juntos, entre no ar, cada caminho é verificado em busca de uma forma de chegar a uma ação arriscada sem a sua salvaguarda, como um pagamento sem a confirmação do cliente. Se houver uma, você vê o caminho exato, antes que um cliente o encontre.
Crie seu agente, depois verifique
O Construtor de Bots cria o seu agente. As ferramentas de segurança e teste procuram os pontos fracos do seu agente e das suas regras antes dos seus clientes.
Construtor de Bots
Crie seu próprio agente de IA com as ferramentas que sua empresa já tem, dentro das suas regras.
Crie o seu no console hoje: escolha um modelo, converse com o seu bot e depois rode no seu computador.
Ferramentas de segurança e teste
Verificação de Grafos de Agentes
Verifique cada caminho do seu agente, ou de uma equipe de agentes, antes de ele entrar no ar.
Caçador de Bugs em Guardrails
Encontre as brechas nas regras de segurança da sua IA antes que um atacante ou um acidente as encontre, cada uma com uma correção verificada.
Verificação de Guardrails
Uma resposta de sim ou não, com evidência, para “este agente pode fazer X sem Y?”
Escrita de Guardrails
Escreva uma regra em linguagem comum e receba uma política verificada contra a obrigação que você indicar.
Verificação de Random Forests
Mostre que seu modelo de random forest se comporta como deve, ou receba o caso exato em que ele falha.
Verificamos as regras de segurança públicas que todo um setor copia
Apontamos o Caçador de Bugs em Guardrails para os arquivos públicos de regras de segurança de um dos principais kits de segurança de IA de código aberto: a biblioteca de regras prontas do próprio kit, os assistentes de exemplo que o fabricante publica e projetos de parceiros e da comunidade. 185 arquivos de 12 coleções públicas, verificados offline, sem nenhum modelo de IA envolvido.
Dois arquivos tinham fraquezas reais, e cada uma foi reproduzida no próprio kit. O Caçador de Bugs consegue corrigir as duas: ele escreve uma regra corretiva para cada uma e verifica que a regra fecha a brecha sem bloquear mais nada.
São exemplos profissionais que muitas equipes copiam, então cada fraqueza viaja com cada cópia. Um teste manual teria de adivinhar a conversa certa. O Caçador de Bugs encontrou cada uma, com a conversa que a dispara.
185
arquivos de regras de segurança de 12 coleções públicas
2
arquivos com fraquezas reais, cada uma reproduzida no próprio kit
32
ações que qualquer um poderia disparar só conduzindo a conversa
8,5 s
para analisar os 115 arquivos do toolkit
Respostas inventadas reportadas como ataques
Uma regra que detecta a IA inventando coisas reporta isso como uma tentativa de enganar a IA. Uma equipe que bloqueia essas tentativas bloqueia também toda resposta inventada, e uma equipe que trata respostas inventadas nunca vê as desta regra.
Três defeitos num assistente de pedidos de comida
Esvaziar o carrinho nunca é executado, trocar um item verifica o valor errado, e as respostas sobre o pedido do cliente ficam a cargo de texto escrito por IA que ninguém verifica.
Ações que qualquer um pode disparar
32 ações em 28 arquivos rodam só com base no desejo aparente do usuário, então qualquer um que conduza a conversa pode dispará-las. Duas delas fazem pedidos de comida sem verificar quem pediu ou se houve confirmação.
Números do nosso artigo de pesquisa, para uma análise feita em 3 de outubro de 2026.
Baixo custo, relevância e segurança por projeto, não por sorte
Um modelo de IA deixado sozinho no comando de um agente custa dinheiro a cada decisão, adivinha o seu negócio e age como decidir. O Stalwart Agents coloca suas regras e as palavras dos seus clientes no comando, e chama o modelo só quando é preciso.
| O QUE IMPORTA | UM MODELO DE IA SOZINHO | STALWART AGENTS |
|---|---|---|
| Decidir o que fazer | Pergunta ao modelo de IA toda vez, e a resposta pode mudar | Sem chamada a modelo: seu agente escolhe a ferramenta sozinho, e o mesmo pedido leva à mesma ferramenta |
| Agir nos seus sistemas | O que o modelo decidir | Só quando suas regras permitem; senão, pergunta a uma pessoa ou recusa |
| As palavras do seu negócio | Reescrever as instruções, de novo | Aprendidas com o joinha dos seus clientes, e reversíveis |
| Caminhos escondidos até uma ação arriscada | Encontrados quando alguém tropeça num deles | Procurados antes de rodar, cada um mostrado com o caminho exato |
| Pagar pelo modelo de IA | Em cada decisão | Só quando é preciso, ou nunca, se você desligar |
Um estudo de caso financeiro, passo a passo
Nossa demonstração técnica roda o motor sobre um conjunto de políticas do setor financeiro regulado: um controle de aprovação para registro de operações, uma isenção abaixo do limite que abre uma brecha, e uma regra de aconselhamento ao consumidor. Escolha um caso para ver a política, o veredito e a evidência.
Verificação Algébrica de Guardrails em Ação
define user request_trade_booking
"book this contract note"
define flow trade_booking_gate
user request_trade_booking
if $four_eyes_approved
bot book_trade
else
bot refuse_unapproved_bookingMATEMATICAMENTE SEGURO (UNSAT)
O solver algébrico deriva 0 = 1 em 5 etapas. Em todos os 2^N contextos de execução possíveis, a ação book_trade é comprovadamente inalcançável a menos que four_eyes_approved seja afirmado positivamente.
Benchmarks de verificação algébrica
Políticas regulatórias, controles de despacho de ferramentas e verificações de estado, decididos por eliminação determinística em corpos finitos.
Guardrail de Conselho FCA Consumer Duty (410 Variáveis)
Circuito GF(2) sintetizado de 410 variáveis sob as obrigações FCA COBS/Duty. Provou que as permissões de aconselhamento não podem ser contornadas por fluxos de suporte direcionado.
Gate de Despacho de Trade Booking de Middle-Office
Descobriu uma brecha de acumulação OU numa isenção de registro abaixo do limite. Gerou um patch de política minimamente disruptivo, certificado para bloquear a vulnerabilidade.
Cadeia de Velocidade Multi-Etapas com Lookback ($prev.v)
Verificação com lookback de estado, aplicando limites dinâmicos de frequência de transações entre as variáveis de estado de cada turno da conversa.