All of the linked Github and linked-in accounts are accurate, hardest to verify from a outsiders perspective would be Tom's involvement but some prominent Monero community members have confirmed this and there will be a large Pull request on the Loki Github this afternoon signed with Tom's GPG keys so you can refer to that. Feel free to get in contact with any of our member and you can check yourself