Anyway, the project is far from complete (I didn’t yet put formalization.yaml and also no comparator check) but I’ll write more detailed blog post on the scope and future plan later, also Zulip link…