I will definitely have a look at it. I have something similar I have been working on for a while to give me insight into my own code that became too large to reason over by myself. Its called Determined (because it is deterministic first with some AI narration over it). Mine isn't ready for release yet. I keep driving it to find gaps between what it finds deterministically and what Claude finds.
I saw several mentions of corruption. But who brought it to the administrations attention. Envy and corruption. Stifle competition, by greasing palms you are familiar with.