A simple tool that asynchronously scans a server's ports with python. It's pretty quick as it processes ports in batches of 256.

None, the only libraries that are used are built-ins.

Use "port_scanner.py", and enter the IP that you want to scan when prompted.