I’m using dpupek/roslyn-code-navigator (codenav-mcp) with Codex.