> or use the official server (that is running an exact copy of this repo)
Is there any project that attempts to prove claims like this?I don't know what that would look like; it would probably just move the point of trust, just interested to see it if such a thing exists.