So I dont want to give too much away about how it works because I think I might try to offer a paid version where the results are private.
But at a high level it combines an LLM, program analysis, and heuristics.
