O Problema O que é o SPELL Auditor Semântico A Próxima Abstração Como Funciona Compatibilidade Instalação Sobre o Autor Contato
Spec Programming & Execution Logic Language · v1.0

Especificação que compila. Código que obedece.

Sua equipe está usando IA para gerar código sem especificação formal. A IA toma decisões arquiteturais que só você deveria tomar. O resultado chega em produção diferente do que foi aprovado.

SPELL resolve isso na raiz: uma linguagem estruturada que transforma a visão do arquiteto em contrato compilável — antes de qualquer linha de código ser escrita.

Baixar SPELL v1.0 Como funciona →
spell-package.zip · Grátis · Sem cadastro
agenda.spell
// o arquiteto declara o que o sistema faz // a IA decide como implementar 10. Regras de Negócio 10.1. Regra HorarioDisponivel contexto: Agendamento de consulta condicao: Médico já tem consulta no mesmo horário acao: Recusar com mensagem de horário indisponível motivo: Política da clínica 10.2. Regra CancelamentoAntecedencia contexto: Cancelamento de consulta condicao: Menos de 24h de antecedência acao: Exibir aviso + pedir confirmação motivo: Reduzir faltas de última hora // a IA nunca inventa regras de negócio // o que não está aqui não será implementado
contrato compilável ◆ auditor semântico ◆ referências mortas ◆ gaps lógicos ◆ regras de negócio ◆ spellcomp compile ◆ spec sobrevive à equipe ◆ qualquer agente de IA ◆ contradições detectadas ◆ contrato compilável ◆ auditor semântico ◆ referências mortas ◆ gaps lógicos ◆ regras de negócio ◆ spellcomp compile ◆ spec sobrevive à equipe ◆ qualquer agente de IA ◆ contradições detectadas ◆
O custo real do vibe coding

Vibe coding funciona.
Mas só depois que
alguém faz o
Vibe Engineering.

— Marcos Fiore

Pedir código diretamente para uma IA sem especificação formal não é desenvolvimento — é uma aposta. A IA infere o que não foi dito, inventa regras de negócio que não existem e toma decisões arquiteturais sem autoridade para isso.

O problema não aparece no primeiro sprint. Aparece quando o sistema que chegou em produção é diferente do que foi aprovado. Quando o dev que escrevia os prompts sai da empresa e o conhecimento vai junto. Quando o retrabalho come o orçamento do próximo trimestre.

O SPELL não resolve o problema depois. Ele elimina a causa: ausência de uma especificação formal que a IA seja obrigada a seguir como contrato.

✕
Decisões arquiteturais não autorizadas A IA escolheu padrões, estruturas e tecnologias que você nunca aprovou — e o código já está em produção.
✕
Especificação que some com a equipe O conhecimento do sistema vive no histórico de chat. Quando o dev sai, a spec vai junto.
✕
Entrega diferente do que foi aprovado Sem um contrato formal, não há como validar se o código gerado implementa o que o negócio precisa.
✕
Débito técnico invisível até ser tarde Sessões diferentes de IA produzem convenções diferentes. A inconsistência se acumula silenciosamente.
O que é o SPELL

A spec não é
escrita.
Ela é provada.

SPELL é uma linguagem estruturada de especificação de software. Não é linguagem de programação. É o elo formal entre a visão do arquiteto e o trabalho de qualquer agente de IA gerador de código.

O arquiteto escreve o que o sistema deve fazer — entidades, regras de negócio, endpoints, telas, segurança. O compilador valida, audita e gera um conjunto de arquivos que o agente de IA segue como contrato. Sem inferências, sem ambiguidades, sem decisões arquiteturais delegadas à IA.

A spec fica no repositório, ao lado do código. Sobrevive à rotatividade de equipe. É compilável, versionável, auditável.

"O arquiteto nunca é obrigado a saber mais do que o negócio exige. A IA nunca pode saber mais do que o arquiteto declarou."

padroes.spell + modulo.spell → CLAUDE.md
// padroes.spell — decisões de engenharia 1. Tecnologia 1.1. Backend linguagem: Node.js 22 banco: PostgreSQL agente: claude-code 3. Convenções de Dados chave-primaria: id UUID soft-delete: sim, via deleted_at campos-de-auditoria:created_at, updated_at // modulo.spell — domínio do negócio 9.1. Tabela consultas id: texto, chave-primaria medico_id: texto, obrigatorio status: texto, padrao: "Agendada"
Output gerado pelo spellcomp
✅ CLAUDE.md ← entrada do agente
✅ projeto-padroes.md
✅ projeto-dados.md
✅ projeto-regras.md
✅ projeto-endpoints.md
✅ projeto-telas.md
O diferencial real

O auditor semântico
detecta o que revisão
humana não captura.

Após construir o AST completo do projeto, o spellcomp audita a spec e produz um relatório de diagnóstico — antes de gerar qualquer arquivo. Nenhum agente começa a trabalhar enquanto houver inconsistências não resolvidas.

gaps lógicos
Entidade sem regra de transição
Campo status declarado na tabela sem nenhuma regra que governe suas transições. O agente não saberá quando mudar de "Pendente" para "Aprovado".
contradições
Regras conflitantes
Duas regras com comportamentos opostos para o mesmo contexto — o agente escolherá uma arbitrariamente. O compilador bloqueia antes de qualquer código ser gerado.
referências mortas
Endpoint aponta para regra inexistente
Um endpoint referencia regras: HorarioDisponivel mas essa regra nunca foi declarada no bloco 10. Detectado na compilação, não no runtime.
entidades órfãs
Tabela declarada sem endpoint
Uma entidade foi especificada mas nenhum endpoint a escreve. Dado que nunca chegará ao banco. Arquiteto decide: é intencional ou esquecimento?
cobertura de erros
Endpoint sem resposta 404
Endpoint que busca por ID não declara resposta para "não encontrado". O agente deixará o comportamento indefinido — ou pior, escolherá um tratamento errado.
delegação crítica
Decisões de alto impacto delegadas
Muitos campos críticos marcados como recomendar em itens de alto impacto. O auditor avisa — o arquiteto decide se é intencional.
Assembly → Código → Especificação

A próxima abstração
já chegou.

Cada geração de ferramentas subiu um nível. O assembly abstraiu o hardware. As linguagens de programação abstraíram o assembly. Agora a IA abstrai o código — e isso muda o que o arquiteto precisa escrever.

A linguagem passa a ser de especificação, não de programação. O arquiteto descreve a intenção. A IA decide a implementação. O código vira detalhe — importante, mas delegável. O que não pode ser delegado é o conhecimento do negócio. E é exatamente isso que o SPELL captura.

"Vibe coding funciona. Mas só depois que alguém faz o Vibe Engineering." — Marcos Fiore
Fluxo de trabalho

Do contrato
ao código
em cinco passos.

Cada passo tem uma fronteira clara: o arquiteto não invade o domínio da IA, e a IA não invade o domínio do arquiteto. O código só começa depois que a spec está validada e aprovada.
1
Escrever o .spell
O arquiteto declara entidades, regras de negócio, endpoints e telas. Sem código, sem decisões técnicas que não são dele.
modulo.spell
2
Compilar e auditar
O spellcomp valida a estrutura e audita gaps, referências mortas e contradições em toda a spec.
spellcomp compile
3
Resolver inconsistências
O arquiteto corrige erros e avisos antes de prosseguir. Nenhuma ambiguidade chega ao agente.
spellcomp check
4
Agente audita e pergunta
O agente lê o .md, lista o que inferiu e faz perguntas. O código não começa sem confirmação do arquiteto.
revisão + confirmação
5
Código gerado
Somente após validação completa. Estruturado, consistente, fiel ao contrato que o arquiteto aprovou.
código gerado
Compatibilidade

Funciona com
qualquer
agente de IA.

O SPELL não é uma extensão do Claude. É infraestrutura independente de agente. O spellcomp gera o arquivo de entrada correto para cada ferramenta — seu time usa o agente que já usa.

O campo agente no padroes.spell controla qual arquivo é gerado. Um parâmetro. Zero configuração extra.

claude-code → CLAUDE.md
cursor → .cursor/rules
aider → CONVENTIONS.md
copilot → .github/copilot-instructions.md
qualquer outro → arquivo configurável
Instalação

Pronto em
minutos.

O pacote inclui o compilador, o manual completo do arquiteto, a referência da linguagem e exemplos prontos para uso.

1
Baixe e extraia o pacote
Descompacte o spell-package.zip em uma pasta de sua escolha.
2
Copie o spell.md para a raiz do projeto
Este arquivo define o contexto da linguagem para o agente de IA.
3
Inicialize e escreva seu .spell
Use qualquer editor de texto. O manual está incluído no pacote.
4
Compile, valide e entregue ao agente
Baixar SPELL v1.0
# verificar instalação $ spellcomp --version SPELL Compiler v1.0 # validar sem gerar output $ spellcomp check . ✅ 4 tabelas │ 6 regras │ 9 endpoints ⚠ endpoint /consultas sem resposta 404 # compilar e gerar os .md $ spellcomp compile . ✅ CLAUDE.md gerado ✅ agenda-padroes.md ✅ agenda-dados.md ✅ agenda-regras.md ✅ agenda-endpoints.md ✅ agenda-telas.md
estrutura do projeto
meu-projeto/ ├── meu-projeto.spell ← índice + metadados ├── padroes.spell ← stack e convenções ├── fase-1/nucleo.spell← domínio do negócio ├── CLAUDE.md ← gerado · não editar ├── LEIAME.txt ← para o arquiteto └── wireframes/

Pare de apostar.
Comece a contratar.

O pacote inclui compilador, manual completo, referência da linguagem e exemplos. Grátis, sem cadastro.

Baixar SPELL v1.0
spell-package.zip · v1.0 · Licença de uso livre
Sobre o autor
Marcos Fiore
Marcos Fiore
Engenheiro de Software, empreendedor e investidor em startups, com mais de três décadas de experiência em sistemas corporativos. Fundou a Akna Software em 2005, uma plataforma de automação de marketing adotada por milhares de empresas de todos os portes. Especializado em Arquitetura de Software assistida por IA, criou o SPELL como resultado de anos tentando responder a mesma pergunta — uma questão que assombra CTOs e Tech Leads no mundo inteiro: como garantir que a IA implementa o que o negócio precisa, não o que ela acha que precisa?

marcos@mfiore.com.br →