ich beginne neu mit python und habe eine (wahrscheinlich) peinliche Frage

In welchem Paket für den Raspberry Pi liegt denn dieser Server?
Ich möchte eine TCP Verbindung mit json realisieren.
Welches json Modul könnt Ihr empfehlen.
Danke im voraus
Tatjana