mypy 1

• Setting Up the Workshop: Postgres, Ollama, and a Project That Type-Checks May 10, 2026