Click on "Deploy Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type @ followed by the MCP server name and your instructions, e.g., "@roslyn Find all references to the OrderService class in the project"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
C# diagnostics, navigation and refactoring in Codex, backed by the official Roslyn language server through the Model Context Protocol (MCP).
Find definitions, implementations and references. Preview and apply renames, fixes and refactorings. The bridge reads saved files and works independently of your editor.
Get started · Usage · Development
Prerequisite: Codex CLI. The installer can use an existing Roslyn language server or install one for you.
macOS and Linux, with Bash, curl and tar:
curl -fsSL https://raw.githubusercontent.com/thomas-fazzari/roslyn-codex-lsp/master/install.sh | bashWindows x64, in PowerShell:
& ([scriptblock]::Create((Invoke-RestMethod https://raw.githubusercontent.com/thomas-fazzari/roslyn-codex-lsp/master/install.ps1)))Open a new Codex session in your C# project. The roslyn MCP server is available globally.
Related MCP server: LSP MCP
This server cannot be deployed
Code intelligence for coding agents: semantic, AST, graph, and full-text search. 279+ languages.
The Cortex MCP server provides read-only access to real-time engineering context from the Cortex developer portal, allowing AI coding assistants to answer natural language questions about your organization's catalog (microservices, libraries, domains, teams, infrastructure), scorecards (engineering standards and best practices), initiatives (goals and deadlines), and Engineering Intelligence metrics. It includes tools for querying documentation, tracking personal entities, and accessing AI-assisted insights across the entire Cortex ecosystem.
Serves your design system and coding standards to coding agents, so they stop guessing.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
