Feature or enhancement

Right now we support typing in several build tools:

I think that some other files / tools from this folder can benefit from being checked with mypy.

I have a PR ready for Tools/build/update_file.py of parser.c generation.
What else can be easily typed?

Linked PRs

• gh-133403: Type Tools/build/update_file.py and check it with mypy #133404
• gh-133403: Type Tools/build/verify_ensurepip_wheels.py and check it with mypy #133453
• [3.14] gh-133403: Type Tools/build/update_file.py and check it with mypy (GH-133404) #133603
• [3.13] gh-133403: Type Tools/build/update_file.py and check it with mypy (GH-133404) #133637
• [3.14] gh-133403: Check Tools/build/verify_ensurepip_wheels.py with mypy (GH-133453) #133689
• [3.13] gh-133403: Check Tools/build/verify_ensurepip_wheels.py with mypy (GH-133453) #133690
• gh-133403: Check Tools/build/generate-build-details.py with mypy #133735
• [3.14] gh-133403: Check Tools/build/generate-build-details.py with mypy (GH-133735) #133764
• gh-133403: Check Tools/build/deepfreeze.py with mypy #133802
• [3.14] gh-133403: Check Tools/build/deepfreeze.py with mypy (GH-133802) #134038
• [3.13] gh-133403: Check Tools/build/deepfreeze.py with mypy (GH-133802) #134040
• gh-133403: Check generate_stdlib_module_names and check_extension_modules with mypy #137546
• [3.14] gh-133403: Check generate_stdlib_module_names and check_extension_modules with mypy (GH-137546) #137679
• [3.13] gh-133403: Check generate_stdlib_module_names and check_extension_modules with mypy (GH-137546) #137691
• gh-133403: Run mypy on Tools/build/mypy.ini changes #137692