Yes we could really do with all of those. Patches welcome. Other than a preference for PEP 8 I don’t have strong opinions about particular linters or formatters.
I see the benefits of types but am not puritanical about it. I’m ok with the way we’re using types at the moment. Most utility functions have types specified, especially those that return database objects so the type information flows up to the routes pretty well. I mostly see it as a way to help my IDE autocomplete work better than as a holy grail. I’m sure there are places where more types could be added but making it a policy that every function must have a type signature seems OTT.
BTW I recently added the database structure for post licenses and have PeerTube video licence information being saved into the DB when they federate to us. However there is no UI that will let people specify a license for their PieFed posts or comments. The UI needs to present a list of licenses to choose from and reading about all the different ones made my eyes glaze over.
You might like to start there as it seems to be an interest of yours!