Check out mj proof (@mjproof) on Linkme