Added mantis framework