Links for veriphi-core