Source SDK

The Source SDK contains a set of tools to create content for numerous Source Engine based games, including Portal.