LINK is a proof environment including proof nets-based provers for multiplicative linear logics: mixed linear logic, or recently called non-commutative logic (MNL), commutative linear logic (MLL) and non-commutative (or cyclic) linear logic (MCyLL). Its main characteristic is the provability analysis through automatic proof nets construction that is a powerful alternative to deal with resource management in proof search. These provers can be also seen as implementations of new connection methods for these linear logic fragments.