I've written a devcontainer feature that allows you to get AWS credentials for a role in GitHub Codespaces. No copy paste of AWS tokens needed!
Let me know what you think!