Hacker News Reader

My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine.

Is this closed source?

Yeah. I've been considering asking my boss about open-sourcing it but I'm probably gonna flesh it out a lot more first.