Have you found a way to generate an actual proof from source code? I'd like to use it to eliminate all bugs from my code.

Besides which, you can verify what servers it connects to in such a trivial way (1 minute tops) that digging through source code would be stupid.