vavle says i can get the SDK via the Tools menu in STeam, but all I see are dedicated servers.