MCP servers from io.kernelscan
Linux kernel CVE analyzer: upload a .config, get a CycloneDX VEX report of affecting CVEs.