Can we use this magnetic sensor?

Hello delphy
I found this https://www.controlanything.com/Relay/Device/CKN6004 magnetic sensor in a store (I am giving you an english link for your convenience) and I was wondering if it would be legal for FRC purposes?

I couldn’t figure out how it should be operated from it’s pdf manual, which is linked here: https://s3.amazonaws.com/assets.controlanything.com/Documents/Sensors/CKN6004.pdf

It looks like a magnetic reed switch. Yes it is legal. It is a custom circuit. Connect it to a Digital input & 0V. The input will read low when the switch is made. (magnet close to switch).

But will it work with the DIO power output?

It is a simple switch. It requires no power.

This is correct. To add to what Alan said, this would make the switch be active low (i.e. the dio will read false when the switch closes), to make it active high you would connect it to 5v, but because the switch would cause a short circuit in that case you would have to put a resistor in series with it.

In short:
Ground - Switch - Input(on DIO) → active low
5v - switch - resistor (like 3.3k or bigger, but not too big) - input → active high

The first option is simpler, and it is easy to account for in software.