What can Vampire do for you?

One interface for reasoning, research, models, files, coding and creativity.