Yes, red knot was the internal development code name; ty is the actual name.

		_carljm on May 7, 2025 \| parent \| context \| favorite \| on: Ty: A fast Python type checker and language server Yes, red knot was the internal development code name; ty is the actual name.