I really love the "Informal Reasoning" support idea. Does it have a reputation system (I see it on the architecture diagram)?

In my proofgraph I used the notion "certificate". Theorems are either certified by proof (strongest one, multiple proofs are possible) or are signed by third parties (committee, reviewers, trusted experts, or semi-formal automatized systems or programs like Mathematica or Sage) or self-signed (weakest).

EDIT: Ah, I see, there is a separate page explaining that.