Get Involved

Mailing List

Sign up to the 📧Verifpal Mailing List to stay informed on the latest news and announcements regarding Verifpal, and to participate in Verifpal discussions.

Discussion on Discord

For more informal or immediate Verifpal discussion, please join the Verifpal Discord channel:
Join us on Discord

Projects Using Verifpal

The following projects have used Verifpal as part of their development process. Please send an email to the 📧Verifpal Mailing List if you would like your project to be added:

Donate to Support Verifpal!

Donate using Liberapay
Verifpal is free and open source software, and every donation will be used to continue Verifpal research and development. If you're interested in supporting Verifpal, please consider setting up a recurring or one-time donation today!

Stickers and Wallpapers

Show your support for Verifpal with a cool sticker from the 🛍️Verifpal Sticker Shop, or by downloading a nice Verifpal wallpaper (A, B) for your desktop!


Verifpal is sponsored by the NLNet Foundation. Funding was provided through the NGI0 Privacy Enhancing Technologies Fund, a fund established by NLnet with financial support from the European Commission’s Next Generation Internet program, under the aegis of DG Communications Networks, Content and Technology under grant agreement №825310.

Verifpal is also supported by Cure53, a Berlin-based security auditing firm which provides penetration testing for online services, security analysis and architectural advice for security and cryptographic applications, training, consulting, incident management and malware analysis.

© Copyright 2019— Symbolic Software. All Rights Reserved. “Verifpal” and the Verifpal logo/mascot are registered trademarks of Symbolic Software. Verifpal software is provided as free and open source software, licensed under the GPLv3. Verifpal User Manual, as well as this website, are provided under the CC BY-NC-ND 4.0 license.