¿Qué es un puerto herramienta?