Hannes Rudolph 4a0f497f16 improve: simplify PR context and evidence (#94676) ... * improve: simplify PR context and evidence * improve: decouple PR context from proof labels * fix: satisfy PR context lint		2026-06-19 14:00:38 -06:00
..
SKILL.md	improve: simplify PR context and evidence (#94676)	2026-06-19 14:00:38 -06:00