Smarter troubleshooting with the new MCP server for Red Hat Enterprise Linux (now in developer preview) | MCP Market