TypeSafe AI

An enterprise AI startup founded in San Francisco by former OpenAI researcher and core RLHF/InstructGPT contributor Diogo Almeida, focused on machine-native decision models for software automation and engineering workflows.