We present a web server Yahoda - Verification Tools Database which is aimed to serve as an information base for practical users and developers of verification tools, and also for researchers of the theoretical background. Several web sites already provide collective information related to the verification tools. In the paper we describe the organization of the database, its main features, currently available information and the maintenance of the repository.