ABRIR E COMEÇAR
Zero fricção
Você entra em stabileo.com e começa. Sem download, sem licenças, sem conta. O modelo roda na sua máquina.
01 LIVRE E ABERTO · CÁLCULO ESTRUTURAL
Uma plataforma gratuita e aberta de cálculo estrutural com três modos: Básico, que já funciona, e Educativo e PRO, ainda em desenvolvimento. O solver roda no seu navegador, na sua própria máquina.
Ler o nosso blog02 O PROBLEMA
03 O QUE É STABILEO
ABRIR E COMEÇAR
Você entra em stabileo.com e começa. Sem download, sem licenças, sem conta. O modelo roda na sua máquina.
2D E 3D
Pórticos, treliças, placas e cascas. Diagramas de esforços, tensões, reações e deformada.
RUST → WEBASSEMBLY
O solver é escrito em Rust e compilado para WebAssembly. Roda localmente, na aba, sem instalar nada.
A aplicação central é livre e de código aberto sob AGPL-3.0, e o solver roda na sua própria máquina. A ideia é que siga gratuita para uso educacional. Mais adiante pode haver serviços hospedados opcionais; nenhum será necessário para usá-la.
Os quatro crescem sobre o mesmo solver. Básico é o modo de cálculo estrutural que você já pode usar hoje; Educativo, PRO e Stabileo AI o estendem com aprendizagem, engenharia avançada e fluxos com agentes.
Básico
O modo de cálculo estrutural que já funciona, disponível hoje. Modelos 2D e 3D simples, e as ferramentas de que precisa uma disciplina universitária de estruturas.
Educativo
Exercícios e fluxos de aprendizagem sobre o mesmo motor. Escrever um exercício, distribuí-lo e ler as respostas já funciona; a cátedra em volta — tarefas, turma, uma nota que viva em algum lugar — está em desenvolvimento.
PRO
A camada avançada: elementos finitos, modelos complexos e projeto segundo a norma que você escolher. CIRSOC para concreto armado já tem suporte básico, e o projeto em aço está em desenvolvimento.
Stabileo AI
A camada de agentes em desenvolvimento, sobre o mesmo solver e os mesmos números. Está sendo construída para ajudar você a modelar, interpretar, explicar e, com o tempo, percorrer um projeto de ponta a ponta.
04 MODO BÁSICO
Um ambiente de cálculo estrutural prático que você já pode usar: modelos 2D e 3D simples, as ferramentas essenciais de uma disciplina universitária de estruturas, e resultados que você pode ler, conferir e explicar.

Diagramas de normal, momento e cortante, e a deformada.

Você clica em um ponto qualquer da estrutura e vê o estado de tensões completo, com a teoria que o produziu à vista, com desenvolvimentos conceituais para calcular baricentro, centro de cisalhamento, núcleo central e vários mais.

Diagramas de N, My, Vz, Mz, Vy e T, com deformada em 3D.

N/A + Mz·y/Iz + My·z/Iy com componentes de cortante separadas, linha neutra oblíqua e a torção por três teorias.

Trinta e sete modelos vêm no menu de exemplos, de uma viga simples a um galpão industrial inteiro como este. Também não são um catálogo fechado: no Básico você modela e calcula a estrutura que quiser.
O Básico é o modo mais desenvolvido do Stabileo. Educativo e PRO constroem mais fluxos sobre a mesma base de cálculo estrutural.
05 CAPACIDADES DO SOLVER
O mesmo motor serve aos três modos. As análises mais profundas fazem parte do modo PRO, e algumas capacidades do solver seguem sendo ampliadas.
LINEAR
NÃO LINEAR
ELEMENTOS
DEPENDENTE DO TEMPO
06 VALIDAÇÃO E EVIDÊNCIA
Não é autocertificação: cada tipo de análise é validado contra bancos de prova publicados e software de referência.
VALIDADO CONTRA
5,655
Testes do motor
Passando, 0 falhas · medido em 6c3369d6 · 2026-08-01
55
Exemplos incluídos
Vêm com a aplicação, de um balanço a um estádio · 37 no menu de exemplos
69
Estrelas no GitHub
github.com/lambdaclass/stabileo
AGPL-3.0
Licença
Repositório público, método inspecionável
Fatoração 22–89× mais rápida em malhas de cascas, e 22× de ponta a ponta. Cholesky esparso com ordenamento AMD, medido neste repositório contra o próprio caminho denso do Stabileo, não contra outros fornecedores.
O solver é WebAssembly e é executado no seu navegador, de modo que seu modelo permanece na sua máquina durante a análise.
07 NORMAS E INTEROPERABILIDADE
A verificação de barras já cobre as principais normas internacionais. O projeto segundo a norma, ou seja propor um dimensionamento e gerar armaduras, está sendo construído um marco de cada vez.
Stabileo é feito na Argentina, então CIRSOC vem primeiro: é o marco normativo argentino e o que este trabalho tem de cumprir, e é onde o projeto segundo a norma está mais avançado. O roadmap segue com os Eurocódigos, e depois com as normas dos Estados Unidos.
CIRSOC 101
2025
DISPONÍVEL HOJEGeradas a partir do modelo: peso próprio, incidência de alvenaria, as sobrecargas mínimas da Tabela 4.1, a redução de sobrecarga e as sete combinações de resistência textuais.
Outros tipos de carga serão somados mais adiante.
CIRSOC 102
2025
DISPONÍVEL HOJEPressão dinâmica, exposição e constantes de terreno, topografia, fator de rajada, classificação de fechamento e os coeficientes de pressão de paredes e cobertura, aplicados ao sistema principal resistente ao vento.
Os edifícios não rígidos e os casos de carga torcionais serão incorporados no futuro.
CIRSOC 201
2025
PARCIAL · EM TESTEA cobertura mais forte de todas as desta página. As vigas e os pilares são verificados e além disso gerados: flexão, cisalhamento, estribos, zonas de barras, espaçamentos, ancoragens e comprimentos de emenda, e cada resultado leva o seu artigo. As lajes, as paredes estruturais e as sapatas também são projetadas, são alcançadas a partir do fluxo de trabalho, e seus resultados são marcados como provisórios.
Finalizando seu desenvolvimento e sendo testado frente a casos reais.
CIRSOC 301
2018
PARCIALUm verificador de barras de aço sobre a base AISC 360 LRFD: tração, compressão, flexão com flambagem lateral com torção, cisalhamento e solicitações combinadas.
Projeto segundo a norma em desenvolvimento.
INPRES-CIRSOC 103
I 2018 · II 2005
EM DESENVOLVIMENTOJá são gerados o peso sísmico efetivo e a distribuição em altura do cortante na base pelo método estático.
Fluxo sísmico regulamentar em desenvolvimento.
CÓDIGOS INTERNACIONAIS · VERIFICAÇÃO DE BARRAS
Hoje o solver qualifica contra cada uma destas uma barra que você dimensionou.
AISC 360
Aço
ACI 318
Concreto armado
AISI S100
Aço formado a frio
NDS · TMS 402
Madeira e alvenaria
EN 1993-1-1
Eurocódigo · aço
EN 1992-1-1
Eurocódigo · concreto
08 MODO EDUCATIVO
Uma camada de exercícios para estudantes construída sobre o mesmo motor de cálculo. O professor escreve o exercício dentro do app, distribui como link e recebe as respostas; o que falta é a camada de cima: a cátedra.
JÁ FUNCIONA
EM DESENVOLVIMENTO
O que existe é o exercício e a volta completa em torno dele: o professor o escreve, distribui e lê as respostas. O que não existe é a cátedra em torno DISSO — tarefas, lista de turma, tentativas, uma nota que viva em algum lugar. O Stabileo não guarda nada em um servidor, então um exercício e uma entrega viajam como link, arquivo ou código, do jeito que já se entrega. As lições passo a passo do método da rigidez estão disponíveis como parte do Básico.
A intenção é que o núcleo educacional siga gratuito para uso educacional.
09 MODO PRO
A análise com elementos finitos e os modelos complexos já funcionam aqui, no nível que você esperaria de um programa profissional. O que está sendo lapidado é o projeto segundo a norma: o passo em que muitos programas de elementos finitos param, entregam os resultados e deixam a verificação regulamentar para você.
JÁ DÁ PARA USAR
EM DESENVOLVIMENTO

Pórticos, lajes e suas cargas, modelados no navegador. Barras e placas juntas, que é o que um edifício realmente é.

O esforço normal em cada pilar, lido sobre o modelo. Resolver por elementos finitos uma estrutura deste tamanho já funciona bem.

Barras longitudinais e estribos dispostos segundo a CIRSOC 201, sobre o modelo e não em um desenho à parte. Em desenvolvimento.
Capturas reais da aplicação, não renders. A vista de armaduras está em desenvolvimento; todo o resto desta seção declara sua maturidade acima.
10 A TESE
A IA generativa produz o plausível, não o correto, e não distingue uma coisa da outra. O que a torna confiável é dar a ela um ambiente determinista que a valide. A arquitetura que já funciona é sempre a mesma: um gerador que explora e um verificador que garante.
GERADOR
Gera e edita o modelo estruturado: geometria, cargas, seções, hipóteses.
VERIFICADOR
O solver determinista resolve a mecânica real. É a fonte de verdade, e não há mágica no prompt.
CÓDIGO + COMPILADOR/TESTES
Os agentes de programação funcionam porque algo diz se compila e se passa.
MATEMÁTICA + LEAN
O AlphaProof prova teoremas porque um verificador formal não deixa passar um erro.
ESTRUTURAS + STABILEO
A IA pode projetar porque o solver valida cada resultado contra a física.
O Stabileo AI está em desenvolvimento ativo. As rotas do agente já rodam em desenvolvimento e teste contra um backend próprio, sobre o mesmo solver e os mesmos números que todo o resto desta página. Esse backend ainda não faz parte do site público, então esta seção descreve a direção e não um serviço que você possa abrir hoje. O trabalho continua sendo assinado por um engenheiro.
EM DESENVOLVIMENTO
O solver do Stabileo é o compilador do mundo físico.
11 ESTADO DO PRODUTO
Tudo o que está em produção figura como tal, tudo o que está em curso leva o seu estado, e nada disso é necessário para usar o Stabileo.
O Stabileo é software livre sob AGPL-3.0, e o solver roda na sua própria máquina. Não há preço, não há conta e não há licenças.
A intenção é que a aplicação central siga gratuita para uso educacional, e as camadas Educativo e PRO crescem por cima.
Os serviços hospedados marcados como ROADMAP ainda estão à frente, e usar o Stabileo nunca vai depender deles.
12 DOCUMENTAÇÃO
Formulação, convenções e fluxo de trabalho, no repositório, versionados junto ao código.
Modelar, resolver e ler resultados nos primeiros dez minutos.
Abrir no GitHubComo um agente lida com o mesmo modelo estruturado que o engenheiro edita à mão.
Abrir no GitHubFormulação, biblioteca de elementos, convenções de sinais e método de validação.
Abrir no GitHubSem instalar, sem conta. O primeiro modelo leva um minuto.
BLOG
Notas longas sobre como o solver funciona, o que os módulos normativos realmente verificam e as decisões por trás deles. Escritas por quem escreve o código, com os números calculados e não lembrados.
A MAIS RECENTE
Um modelo de linguagem não pode garantir um número; um solver verificado pode. A arquitetura que torna a IA útil no cálculo estrutural separa as duas coisas.
Ler esta nota