a repository for necessary tools for a user