Enable mypy parallel workers in pre-commit

[adamtheturtle]

Summary

• Configure the mypy pre-push hook to run with 4 parallel workers via --num-workers=4.
• Update mypy-docs so worker configuration lives inside the doccmd --command invocation (mypy --num-workers=4) instead of doccmd top-level args.
• Keep hook formatting consistent with existing YAML style.

Test plan

• Run pre-commit run --hook-stage pre-push mypy-docs --all-files
• Run repository commit hooks during git commit
• Run repository push hooks during git push

Made with Cursor

---

Note

Low Risk
Low risk: only adjusts pre-push mypy/mypy-docs hook invocation flags to enable parallel workers, affecting developer tooling performance rather than runtime behavior.

Overview
Speeds up pre-push type checking by running mypy with --num-workers=4.

Updates the mypy-docs hook to pass the worker flag inside the doccmd --command string (i.e., mypy --num-workers=4) to keep argument handling and YAML formatting consistent.

^{Reviewed by Cursor Bugbot for commit 0509ec2. Bugbot is set up for automated code reviews on this repo. Configure here.}