Em junho de 2026, a Amazon entrou com força no mercado de coding agents. O Kiro é um IDE completo com CLI, Web e app mobile para iOS, construído sobre Claude Opus 4.8, DeepSeek V4 e outros modelos. No AWS Summit em Nova York, anunciaram o plano Pro Max: $100/mês. E uma proposta metodológica que nenhum concorrente tentou obrigar antes: você não começa com um prompt. Você começa com uma especificação.
É ou o futuro do desenvolvimento com IA, ou mais um produto que soa bem no slide e esconde um cap na letra miúda. Os dados deixam a resposta clara.
O que é o Kiro e por que a AWS apostou em spec-first?
O Kiro surgiu em maio de 2026 como substituto do Amazon Q Developer. A aposta central é o chamado spec-driven development: antes de qualquer linha de código, você escreve uma especificação no formato EARS (Easy Approach to Requirements Syntax). O Kiro converte a spec em tarefas concretas, executa com agentes paralelos e mantém rastreabilidade entre requisito e código gerado.
A motivação não é arbitrária. Pesquisas de gestão de projetos apontam consistentemente que a maioria das falhas em software começa em requisitos mal definidos ou ausentes. A AWS está dizendo: o problema não é o agente escrever código ruim, é o dev pedir a coisa errada. Escrevendo spec primeiro, você erra antes de gastar token.
É uma aposta corajosa. E pode fazer sentido para times com processos de engenharia maduros, compliance obrigatório, ou projetos onde rastreabilidade requisito-código é auditável. O problema não é a metodologia.
O sistema de créditos do Kiro: onde está o cap?
O pricing do Kiro funciona por créditos mensais, com multiplicador por modelo. Fonte: kiro.dev/pricing.
| Plano | Preço | Créditos/mês | Overage |
|---|---|---|---|
| Free | $0 | 50 | N/A |
| Pro | $20/mês | 1.000 | $0,04/crédito |
| Pro+ | $40/mês | 2.000 | $0,04/crédito |
| Pro Max | $100/mês | 5.000 | $0,04/crédito |
| Power | $200/mês | 10.000 | $0,04/crédito |
Até aqui parece competitivo. O problema está nos multiplicadores por modelo:
| Modelo | Multiplicador | Créditos efetivos no Pro Max (5.000) |
|---|---|---|
| DeepSeek V4 / MiniMax M2.5 | 0,25x | 20.000 tarefas-base |
| Claude Haiku 4.5 | 0,4x | 12.500 tarefas-base |
| Claude Sonnet 4.6 | 1,3x | 3.846 tarefas-base |
| Claude Opus 4.8 | 2,2x | 2.272 tarefas-base |
No Pro Max, usando Claude Opus 4.8 para tudo, seus $100/mês compram 2.272 execuções de uma tarefa-base. Um dev que refatora código legado em sessões longas queima esses créditos em semanas. Acima do limite: $0,04 por crédito adicional. Estoure 3.000 créditos extras e a conta vai para $220 naquele mês.
É um cap. Com outro nome.
Em reais: Pro Max custa $100/mês, equivalente a aproximadamente R$ 520 no câmbio de junho de 2026. Para comparação: o Verboo Code custa R$ 75/mês com tokens ilimitados e sem multiplicador por modelo.
O que o Kiro acerta, e os dois lados da discussão
Seria injusto reduzir o Kiro ao pricing. O produto tem diferenciais reais:
- Spec-driven workflow obrigatório: o único coding agent que estrutura requisitos antes do código. Para times com PM definindo especificações, isso elimina o "mas eu pedi outra coisa" no review.
- Agentes paralelos com memória entre sessões: o Kiro aprende contexto entre execuções, reduzindo o re-onboarding constante que devs enfrentam em outras ferramentas.
- Integração AWS nativa: IAM Identity Center, billing consolidado para times, segurança enterprise. Se você já opera na AWS, o Kiro entra no stack sem atrito.
- Multi-surface real: IDE, CLI, Web e agora iOS para supervisão mobile de tarefas longas. Poucas ferramentas chegaram ao mobile com esse nível de funcionalidade.
O argumento a favor é sólido: dev que escreve spec antes de pedir código erra menos, revisa menos, retrabalha menos. O custo do crédito existe, mas o ganho em qualidade de output pode compensar em projetos estruturados.
O argumento contrário é igualmente válido: spec-first tem custo de fricção alto para trabalho exploratório. Para um dev que quer testar uma ideia rapidamente, escrever requisitos em EARS antes de um prompt é overhead real. E o sistema de créditos penaliza exatamente os heavy users, aqueles que usam os modelos melhores, que são os que mais precisam de um agente de programação capaz.
A matemática do cap para o dev BR heavy user
A conta concreta no Pro Max ($100/mês, 5.000 créditos):
Usando Claude Sonnet 4.6 (multiplicador 1,3x): você tem efetivamente 3.846 tarefas-base disponíveis. Em 22 dias úteis, são 175 tarefas por dia. Para um dev que faz 10 a 20 iterações de contexto longo por hora de coding, isso some antes do dia 15.
Usando Claude Opus 4.8 (multiplicador 2,2x): 2.272 tarefas-base. Burn rate ainda mais rápido. O modelo que melhor performa em SWE-bench é o que mais rápido esvazia seus créditos.
O Kiro não está sozinho nesse problema. Claude Code Pro tem soft limits de sessão. Copilot migrou para usage-based em junho de 2026, com devs relatando conta explodindo no primeiro mês. Cursor cobra $120/mês dos heavy users. O mercado de coding agents não resolveu o problema do cap. Só trocou a embalagem.
A pergunta real não é "quanto custa o Kiro". É: em que momento do mês você vai parar de usar o melhor modelo porque o crédito acabou?
Para quem o Kiro faz sentido?
Faz sentido para:
- Times dentro do ecossistema AWS que precisam de billing e IAM integrados
- Projetos com compliance e rastreabilidade de requisitos obrigatória
- Devs que já trabalham com spec antes de codar e querem que o agente respeite esse processo
- Uso previsível e baixo, onde os planos Free ou Pro são suficientes
Não faz sentido para:
- Dev heavy user com sessões longas de refactor em código legado
- Quem precisa de iteração rápida sem estrutura prévia
- Dev BR que não quer risco de câmbio somado a overage de crédito
- Quem usa Claude Opus 4.8 intensivamente (multiplicador 2,2x é agressivo)
Quer rodar modelos sem se preocupar com crédito que acaba no dia 18? O Verboo Code roda 6 modelos open source com tokens ilimitados, R$ 75/mês, sem multiplicador, sem overage.
Spec-first é a ideia certa. Modelo de cobrança é o problema.
O Kiro trouxe algo que o mercado precisava: uma aposta metodológica clara. A AWS está certa que código sem contexto estruturado é código que vai ser refeito. Spec obrigatória pode parecer overhead, mas para projetos de médio prazo em time, a rastreabilidade requisito-código tem valor real.
O problema não é a metodologia. É o sistema de créditos que penaliza o dev que mais usa, com multiplicadores que crescem conforme o modelo melhora. No cenário de junho de 2026, com Claude Fable 5 morto em 3 dias por export control, Copilot usage-based e Windsurf se tornando Devin Desktop com Cascade EOL em 1 de julho, o mercado está mais fragmentado e mais caro do que nunca para o dev brasileiro.
Enquanto o mercado discute modelo de cobrança, o Verboo Code já entrega tokens ilimitados em agente de programação. Conheça.
