Main interface for the Theia MCP server (backend only)
Get the underlying MCP server instance
Get the server ID
Check if the server is running
Start the MCP server with the given configuration
Stop the MCP server
Main interface for the Theia MCP server (backend only)