Sensor for detecting gear lever in 'Automatic Gear Shifter for 2 wheelers'

hi guys,
i have been designing 'Automatic Gear Ghifter for two-wheelers using Wiper Motor via Microcontroller' which is also my B.E final year project. As i have tested this project on 'Royal Enfield classic 500 engine' which we have been used in our custom made race car.This is completely isolated gear shifter without any change in engine's gear box.Here i have used limit switches to control the position of gear lever.but it becomes somewhat bulky so i want to replace the limit switches by another sensors.
so please help me out over sensors......
i have got one video which i have attached here please find the attachment & in video the sensor have been used to detect the metal lever but i am not getting which sensor is this..
Could anyone please tell me the sensor used in video????

Thank you for your time & consideration

These are digital hall sensors actuated by a permanent magnet.