Repository navigation

Search Mathlib and the pool before asking whether a PR is new - #306

Merged

Vilin97 merged 4 commits into

mainfrom

claude/prior-art-grounding

Jul 29, 2026

Merged

Search Mathlib and the pool before asking whether a PR is new#306
Vilin97 merged 4 commits into
mainfrom
claude/prior-art-grounding

Commits on Jul 29, 2026
- Search Mathlib and the pool before asking whether a PR is new
  
  Vilin97
  and
  claude
  committed
  4341d34
- Fix the head-registry fetch, which disabled the whole search
  
  Vilin97
  and
  claude
  committed
  a176591
- Keep a failed per-claim query distinct from a clean miss
  
  Vilin97
  and
  claude
  committed
  8faf8f5
- Stub lean_explore for the test environment
  
  Vilin97
  and
  claude
  committed
  389586b