chore: Add post-edit script to replace agent instruction

Author: ValerianRey

.agents/hooks/post-edit-python.sh

@@ -0,0 +1,12 @@
+#!/bin/bash
+# Post-edit hook for Python files. Runs type checking and linting/formatting.
+# Usage: post-edit-python.sh <file_path>
+# Intended to be called by AI coding agents after editing a python file.
+FILE_PATH="$1"
+
+[[ "$FILE_PATH" != *.py ]] && exit 0
+
+cd "$(git rev-parse --show-toplevel)"
+uv run ty check
+uv run ruff check --fix "$FILE_PATH"
+uv run ruff format "$FILE_PATH"

AGENTS.md

@@ -6,8 +6,6 @@
 - We use uv for everything (e.g. we do `uv run python ...` to run some python code, and
   `uv run pytest tests/unit` to run unit tests). Please prefer `uv run python -c ...` over
   `python3 -c ...`
-- After generating code, please run `uv run ty check`, `uv run ruff check` and `uv run ruff format`.
-  Fix any error.
 - After changing anything in `src` or in `tests/unit` or `tests/doc`, please identify the affected
   test files in `tests/` and run them with e.g.
   `uv run pytest tests/unit/aggregation/test_upgrad.py -W error`. Fix any error, either in the