astllc/production: links for code-evaluator-kernel