TypeSafe AI adalah perusahaan kecerdasan buatan yang berfokus pada otomasi AI dan pengambilan keputusan berbasis perangkat lunak. Perusahaan ini didirikan oleh Diogo Almeida dan lainnya. Sebelumnya, Almeida mengerjakan riset terkait InstructGPT, RLHF, dan ChatGPT di OpenAI.