Nonequilibrium many-body steady states via Keldysh formalism | Synapse