MK24 are the smallest magnetically operated Reed proximity sensors for SMD mounting come in SPST-N.O. and SPST-N.C.