Are you allowed to use push sensors from lego mindstorm?
On what part of your robot? The MINIBOT or HOSTBOT.
In either case, I believe the answer is “yes.” However, I would recommended looking into micro-switches if you are talking about your HOSTBOT. They require less movement to trip and are nice to work with. (eg, the wiring is easy!)