Who uses it?

Who uses MANTIS?