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/

In fact, that domain looks similar to luxpdf.