Comment by cpach

What do you mean by “tool”? Do you mean IDE/editor, or something else?