Links for lean-agent