The settings.json included in the GitHub repo has kiroAgent.configureMCP: false, so you may be correct that an AI addon was used. https://kiro.dev/ https://kir

The settings.json included in the GitHub repo has kiroAgent.configureMCP: false, so you may be correct that an AI addon was used. https://kiro.dev/ https://kiro.dev/ In fact, that domain looks similar to luxpdf.