Can you use arduino cli for teensy? I am using a 4.0 and I don't even think teensy cli supports the 4.0 yet

So the project consists of two rasberry pis that are connected via wifi through a server-client relationship. One of the pis is connected to a teensy microcontroller and the other pi is strictly used to send commands and new code. So far I can send and receive data/files between the two pis via Pyth...