Links for parc-checker-core