Isn't their internal chat bots provided by grok or Oracle AI?
dot is self hosting several openai and Claude models on chat.dot.gov it's awesome