Function declared_session_role 

pub fn declared_session_role() -> Option<String>

The session role stated through the environment (LEAN_CTX_ROLE, then LEAN_CTX_AGENT_ROLE). Anything else an MCP session gets is assumed.