Ok, I'm a dummy: https://github.com/Dicklesworthstone/pi_agent_rust

"pi_agent_rust is a from-scratch Rust port of Pi Agent by Mario Zechner (made with his blessing!)."

It's pi, not pi.dev