A The Proof Is Trivial Hubot script implementation