tor-ctrl - Tor control port command line tool

Sure.

I don’t like anon- prefix instead of tor- prefix myself. Just couldn’t come up with a better idea, though. It’s not really whonix- specific either.

tor- obviously the most convenient, best and easiest to discover naming prefix but I don’t know if trademark issues could become an issue. (The Tor Project Trademark versus TorBOX / Whonix)

According to Tor Project | Trademark

Can I use the word “Tor” as part of the name of my product or my domain name?

Please don’t use Tor in your product name or domain name. Instead, find a name that will accurately identify your products or services. Remember that our goal is to make sure that people aren’t confused about whether your product or project is made or endorsed by The Tor Project. Creating a new brand that incorporates the Tor brand is likely to lead to confusion, and commercial confusion is a sign of trademark infringement.