Current hegel versions manage their engine without uv, so the CI
setup-uv step and the PATH prerequisite were both stale.

Assisted-by: Claude Opus 5 via Claude Code

diff --git a/ai/skills/rust/property-testing.md b/ai/skills/rust/property-testing.md
index 794eed17..c82149f1 100644
--- a/ai/skills/rust/property-testing.md
+++ b/ai/skills/rust/property-testing.md
@@ -2,8 +2,6 @@
 
 `tests/property.rs` uses hegeltest to verify invariants across randomly generated inputs. Hegeltest is built on the Hypothesis engine — it generates test data, finds failures, and shrinks to minimal counterexamples automatically.
 
-Hegeltest requires [`uv`](https://docs.astral.sh/uv/) on `PATH` (it manages its Hypothesis backend via uv).
-
 ## Basic usage
 
 Test functions take a `TestCase` parameter and draw values from generators:
diff --git a/ai/skills/rust/scaffolding.md b/ai/skills/rust/scaffolding.md
index 0ff2424a..d68a20d0 100644
--- a/ai/skills/rust/scaffolding.md
+++ b/ai/skills/rust/scaffolding.md
@@ -188,7 +188,6 @@ jobs:
           persist-credentials: false
       - run: rustup component add clippy rustfmt llvm-tools
       - run: cargo install grcov cargo-mutants just
-      - uses: astral-sh/setup-uv@SHA # v6
       - run: cargo fmt --check
       - run: just clippy coverage
       - run: just mutants
@@ -204,9 +203,6 @@ git ls-remote https://github.com/<owner>/<repo> <tag> | cut -f1
 `cargo fmt --check` instead of `just fmt` — CI should fail on
 unformatted code, not silently fix it.
 
-The `setup-uv` step is required because hegeltest uses `uv` to
-manage its Hypothesis backend.
-
 ## Testing
 
 Unit tests live in each module, using `tempfile` for isolation when
@@ -227,6 +223,3 @@ but don't verify. See `mutation-testing.md`.
 rustup component add clippy rustfmt llvm-tools
 cargo install grcov cargo-mutants just
 ```
-
-hegeltest also requires [`uv`](https://docs.astral.sh/uv/) on `PATH`
-— it manages the Hypothesis engine automatically.