Should DeepSeek-v4-Pro be available via

openhands/

? It doesn’t seem to, at the moment 😅 It looks pretty good from what I hear!

ugh, thanks for noting, let me check