Here are some utiltiy scripts I use to muck about with OIDC tokens. Specifically getting tokens and exchanging them.
In this example you'll see that I see that I get a token for my development server, then exchange that token for one that I can use with kubernetes. I then configure my kubetctl to use that token.