O software autônomo já está aqui — realizando operações, implantando código e negociando contratos. A Mindburn Labs existe porque acreditamos que esses sistemas devem ser confiáveis por meio de computação, não de reputação.
Modelos propõem, a execução é governada, a prova é exportada. Esse é o invariante arquitetônico que aplicamos em tudo que construímos.
Key Milestones
Princípios operacionais
Prova primeiro
Cada ação produz um recibo criptográfico. Sem recibo, sem execução.
Fail-Closed por padrão
Cada ação deve ser explicitamente autorizada. Silêncio é negação. Sem confiança implícita.
Verificável offline
Cada recibo pode ser verificado sem acesso à rede. As provas são autocontidas.
Liderança
Ivan Peychev
Fundador e CEO. Anteriormente construiu sistemas distribuídos em escala. Obcecado em tornar ações de IA provavelmente confiáveis.
Kirill Melnikov
Cofundador e CTO. Engenheiro de sistemas especializado em protocolos criptográficos e execução determinística.
Antigravity
Arquiteto de sistemas de IA. Responsável por workflows de engenharia autônoma e infraestrutura de qualidade de código.
Por Que Isso Se Torna o Padrão
Mindburn Labs constrói infraestrutura de execução proof-first para software autônomo. Acreditamos que o déficit de confiança em sistemas orientados por IA é o desafio de infraestrutura definidor da década.
Tese de investimento
Todo agente de IA precisará de governança
Quando agentes IA passam de demos para produção, fronteiras de execução determinista se tornam obrigatórias.
Padrões vencem, não funcionalidades
HTTPS venceu porque era um padrão, não um produto. Os níveis de conformidade do HELM criam a mesma dinâmica.
A adoção OSS se potencializa em receita enterprise
Cada adoção HELM OSS cria um futuro cliente Enterprise.
Prova primeiro é defensável
Concorrentes vendem dashboards. Nós entregamos recibos criptográficos offline.
Tração
Confiança na velocidade da máquina
Cada ação de IA produz um recibo criptográfico. Os recibos formam um ProofGraph. O grafo é a trilha de auditoria.
Vamos conversar
Se você está interessado na camada de infraestrutura de execução para software autônomo, adoraríamos ouvir de você.
[email protected]Trabalhar em Autonomia Verificável
Estamos construindo a infraestrutura de execução para software autônomo. Cada ação governada. Cada recibo criptográfico. Cada prova reproduzível.
Por que Mindburn Labs
Remote First
Trabalhe de qualquer lugar. Comunicação async-first. Otimizado para foco profundo.
Problemas difíceis
Verificação formal, provas criptográficas, execução determinística — problemas com soluções permanentes.
Tempo de pesquisa
20% de tempo dedicado à pesquisa. Publique papers, construa protótipos, explore ideias.
Impacto real
Seu código roda em produção. Cada chamada de ferramenta governada, cada recibo verificável.
Equity inicial
Participação significativa em infraestrutura que alimentará a próxima geração de sistemas autônomos.
Cultura sem BS
Equipe pequena, estrutura plana, alta confiança. Envie código que importa.
Vagas abertas
Contratamos por habilidade e curiosidade, não por credenciais.
Engenheiro Fundador — Kernel de Execução
Projetar e implementar o kernel de execução determinística.
Procuramos engenheiros que pensam em sistemas, escrevem provas como código e deployam como operadores.
- Forte programação de sistemas (Go, Rust ou C++)
- Experiência com sandboxing, WASM ou execução determinística
- Familiaridade com primitivas criptográficas
- Experiência comprovada em entregar infraestrutura de produção
Redator Técnico / DevRel
Criar documentação e tutoriais para adoção do HELM em 5 minutos.
Procuramos engenheiros que pensam em sistemas, escrevem provas como código e deployam como operadores.
- Escrita técnica forte com foco em público desenvolvedor
- Capacidade de ler codebases Go/TypeScript
- Experiência construindo documentação para desenvolvedores
- Bônus: experiência com ferramentas de segurança/conformidade
Pesquisador Aplicado — Métodos Formais
Formalizar as garantias do nosso Padrão de Execução Determinística.
Procuramos engenheiros que pensam em sistemas, escrevem provas como código e deployam como operadores.
- PhD ou experiência equivalente em métodos formais
- Familiaridade com verificação de modelos ou provas de teoremas
- Capacidade de conectar trabalho formal com engenharia prática
- Interesse em confiança, governança e sistemas autônomos
Problemas que estamos resolvendo
Problemas difíceis na fronteira da infraestrutura de autonomia determinística.
Engenharia de kernel
Build the deterministic execution kernel — proposal pipelines, fail-closed enforcement, gas metering.
Criptografia e provas
Projete e implemente cadeias de recibos hash-linked, DAGs ProofGraph e formatos EvidencePack.
Conformidade e verificação
Construa vetores de teste L1/L2/L3, runners de conformidade e ferramentas de verificação formal.
Sistemas de IA aplicados
Orquestração de agentes multi-vendor, federação de confiança e pipelines de inteligência competitiva.
Infraestrutura e DevOps
Implantação multi-cluster, pipelines CI/CD, observabilidade e ferramentas de operações de frota.
Pronto para construir o futuro?
Estamos sempre procurando engenheiros e pesquisadores excepcionais.
Visão 2030
Um mundo onde cada ação autônoma produz um recibo criptográfico. Onde a confiança é calculada, não assumida. Onde a prova é o produto.
A máquina que não pode provar que agiu corretamente não tem direito de agir.
O domingo que quebrou o feitiço
Aquele ano tinha uma atmosfera. Você podia senti-la em cada demo.
Um modelo respondia brilhantemente e depois inventava uma conta bancária dois prompts depois.
E cada vez, a solução era a mesma: prompts mais longos, mais rigorosos.
O sonho não é que a IA se torne confiável. O sonho é que a confiança se torne computável.
Naquele domingo, o encanto se quebrou. Não com um manifesto. Com duas ideias muito entediantes:
Até 2030, a maioria das transações econômicas será iniciada por software autônomo. A questão não é se isso acontece — é se estaremos preparados.
É isso. Essa é toda a aposta.
O problema da autoridade de execução
O kernel impõe uma única invariante: modelos propõem, o kernel decide.
Quem pode executar? Sob quais restrições? Com quais recibos? Essas são as perguntas que definem a fronteira de confiança.
Confiança como formato
Confiança não é um sentimento. É um formato. Tem um esquema, um hash e um timestamp.
Quando você pode serializar a confiança em bytes, pode verificá-la na velocidade da máquina. Esse é o estado final.
Exportação de prova
A mudança
A transformação de confiança narrativa para confiança computacional.
A era do governador criptográfico
Humanos não vão parar de trabalhar. Vão parar de executar. O papel muda de operador para governador.
Um governador não aperta botões o dia todo. Estabelece limites, aprova exceções e exige provas.
Cada plano de controle adiciona fricção. A questão é se essa fricção é produtiva ou parasitária.
Apêndice
As ações são serializadas para uma representação canônica de bytes antes do hash. Sem ambiguidade.
Se uma política muda, todas as propostas pendentes são reavaliadas. Sem aprovações obsoletas.
Cada ação tem um orçamento de gas. Excessos são negados, não debatidos.
A lacuna entre o que um modelo propõe e o que um humano pode verificar — medida em segundos, não em páginas.
Cada sessão produz um bundle de prova autocontido e verificável. Exportar. Verificar. Reproduzir.