dev/public: links for code-evaluator-kernel