chore: replace mypy with ty for type checking

- Swap mypy for ty>=0.0.18 in dev dependencies (uv resolved 0.0.29)
- Replace [tool.mypy] config with [tool.ty.environment] in pyproject.toml
- Update pre-commit to use local hook running `uv run ty check` (no official ty hook yet)
- Update Makefile, test.yml, and docker.yml to use ty
- Replace .mypy_cache with .ty_cache in .dockerignore
- Fix type errors surfaced by ty: assert message.text in _build_content,
  add missing `assert config is not None` guards in test_auth.py

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: John-Lin

.dockerignore

@@ -1,5 +1,5 @@
 .git
-.mypy_cache
+.ty_cache
 .pytest_cache
 .venv
 .ruff_cache

.github/workflows/docker.yml

@@ -22,7 +22,7 @@ jobs:
       - name: Lint
         run: uv run ruff check .
       - name: Type check
-        run: uv run mypy --install-types --non-interactive .
+        run: uv run ty check
       - name: Test
         run: uv run pytest -v --cov=bot tests/
 

.github/workflows/test.yml

@@ -20,6 +20,6 @@ jobs:
       - name: Lint
         run: uv run ruff check .
       - name: Type check
-        run: uv run mypy --install-types --non-interactive .
+        run: uv run ty check
       - name: Test
         run: uv run pytest -v --cov=bot tests/

.pre-commit-config.yaml

@@ -11,11 +11,14 @@ repos:
       - id: ruff
         args: [--fix]
       - id: ruff-format
-  - repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v1.14.1
+  - repo: local
     hooks:
-      - id: mypy
-        args: [--install-types, --non-interactive]
+      - id: ty
+        name: ty
+        entry: uv run ty check
+        language: system
+        types: [python]
+        pass_filenames: false
   - repo: https://github.com/astral-sh/uv-pre-commit
     rev: 0.5.15
     hooks:

Makefile

@@ -8,7 +8,7 @@ fix:
 	uv run ruff check --fix .
 
 type:
-	uv run mypy --install-types --non-interactive .
+	uv run ty check
 
 test:
 	uv run pytest -v -s --cov=bot tests

bot/telegram.py

@@ -168,6 +168,7 @@ async def _send_typing_loop(self, update: Update) -> None:
             pass
 
     def _build_content(self, message: Message) -> str:
+        assert message.text is not None
         reply = message.reply_to_message
         if reply is None or not reply.text:
             return message.text

pyproject.toml

@@ -21,7 +21,7 @@ build-backend = "hatchling.build"
 
 [dependency-groups]
 dev = [
-    "mypy>=1.13.0",
+    "ty>=0.0.18",
     "pytest>=8.3.3",
     "pytest-cov>=6.0.0",
     "ruff>=0.7.3",
@@ -51,8 +51,8 @@ select = [
 [tool.ruff.lint.isort]
 force-single-line = true
 
-[tool.mypy]
-ignore_missing_imports = true
+[tool.ty.environment]
+python = ".venv"
 
 [tool.pytest.ini_options]
 testpaths = ["tests"]

tests/test_auth.py

@@ -142,11 +142,13 @@ def test_add_group_default_config(self):
     def test_add_group_no_mention(self):
         add_group(-1001234, require_mention=False)
         config = get_group_config(-1001234)
+        assert config is not None
         assert config["requireMention"] is False
 
     def test_add_group_with_allowed_members(self):
         add_group(-1001234, allowed_members=[111, 222])
         config = get_group_config(-1001234)
+        assert config is not None
         assert config["allowFrom"] == ["111", "222"]
 
     def test_get_group_config_unknown_group(self):
@@ -176,6 +178,7 @@ def test_add_group_updates_existing(self):
         add_group(-1001234)
         add_group(-1001234, require_mention=False, allowed_members=[111])
         config = get_group_config(-1001234)
+        assert config is not None
         assert config["requireMention"] is False
         assert config["allowFrom"] == ["111"]