Summary
During production verification of a workspace created from CoDevOrg/CoDev, the workspace URL included codevDefaultAgent=claude, but all three managed agent cards in Mission Control displayed the provider as Codex.
Steps to reproduce
- Create or open a workspace for CoDevOrg/CoDev.
- Start a managed CoDev agent.
- Inspect the agent card in Mission Control.
Actual behavior
The workspace is configured with Claude as the default agent, but the managed sessions launch and are labeled Codex.
Expected behavior
Managed agents should honor the workspace/provider configuration, or the UI should clearly expose and confirm which provider will be used before the session starts.
Verification context
- Environment: production (trycodev.com)
- Repository: CoDevOrg/CoDev
- Observed with three managed agent slots active
- No credentials were changed during verification
Summary
During production verification of a workspace created from CoDevOrg/CoDev, the workspace URL included codevDefaultAgent=claude, but all three managed agent cards in Mission Control displayed the provider as Codex.
Steps to reproduce
Actual behavior
The workspace is configured with Claude as the default agent, but the managed sessions launch and are labeled Codex.
Expected behavior
Managed agents should honor the workspace/provider configuration, or the UI should clearly expose and confirm which provider will be used before the session starts.
Verification context