Formeo is an AI-driven structural engineering design platform developed by Kisfali Engineering Srls. We publish physics-verified datasets, benchmarks, and verifiers for structural design and optimization.