MCP server for the Red Hat Offline Knowledge Portal (OKP) - View it on GitHub