Verify Security explores the tracing of data flows in Python programs and workflows using the theory of secure information flows. Verification that a program absolutely does not leak high security data on low security channels when deployed on a distributed system is necessary in order to protect the security of sensitive data sets. Verify Security (VS) is a Python Library that statically analyzes programs and certifies whether code is secure or not, and why. This library is aimed to help data scientists verify the security of programs that do computations on data sets with classified data. VS is an extra layer of security to help find data leaks before code is ever deployed on a distributed system. Data curators and the researchers can both use VS to protect the privacy of any private information. It's a tool to prevent data leaks, which will enable data scientists to obtain access to private data sets.