This is a necessary property. A protocol without a proof of security is likely to be insecure and must not be trusted.
Thoroughly tested code developed by experts. Minimal number of dependencies to potentially insecure software. Polished using multiple static analysis and test coverage tools. Zero reported vulnerabilities since 2010.
Portable on Linux and BSD, easy to install, and robust command line interface.
Mature research papers, whitepapers, overview descriptions, APIs, usage info, and documented code.
The MIT License is the most liberal among the widely adopted free and open source licenses .