Enable mypy parallel workers in pre-commit

[adamtheturtle]

Summary

• configure the mypy pre-push hook to run with --num-processes 4
• update mypy-docs to pass the same worker count inside the --command string for doccmd

Test plan

• run commit-time pre-commit hooks
• run pre-push hooks during git push

Made with Cursor

---

Note

Low Risk
Low risk configuration-only change; it only affects local pre-push linting performance and could at worst surface mypy concurrency quirks.

Overview
Updates the pre-push mypy hook to run with --num-workers=4 for faster type-checking.

Makes the same worker setting apply to mypy-docs by embedding --num-workers=4 into the doccmd --command string.

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

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 48445c3. Configure here.}