michaelg/dev: links for prophet-cripto