One thing that has me interested is that they seem to be working with the person/people behind tree-sitter. Tree-sitter is pretty amazing tech and vastly outperforms traditional text parsing. There are a couple of impressive YT videos demonstrating it.
That said, the page is a content-light advertisement, and competing with Jetbrains on code-introspection and refactoring will be tough.