TypeSafe AI, yapay zeka otomasyonu ve yazılım güdümlü karar verme üzerine odaklanan bir yapay zeka şirketidir. Şirket, Diogo Almeida ve diğerleri tarafından kuruldu. Almeida daha önce OpenAI'de InstructGPT, RLHF ve ChatGPT ile ilgili araştırmalar üzerinde çalıştı.