[prodigycorp]

I think it's permissible. Zed uses it to power their Codex integration. OpenAI has been quite vocal about it.