It looks quite powerful. I would focus on adoption and usability over adding any more features. I feel like there's a lot of value there already, but I'm not exactly sure how I'd integrate it into my workflow.

The CI integration sounds like the most interesting part to me, since I usually let things fail in CI then go back and fix them.

It's kind of in an interesting spot because it's not instant feedback like a linter/type checker, but only running it in CI feels like a waste of potential.

I hope it becomes a successful product!