Tab · Overview

File search

Find any file in any tracked repo in milliseconds. A universal substring search across every path and first-line title in every mirrored repo — without opening a terminal or remembering which repo holds what.

See it in motion

Where to find it

  • Localhost: /file-search.html
  • API: GET /api/file-search?q=<query>
  • Keyboard: ⌘ K then file
  • Sidebar: Overview → File search

What it does for you

Jump from a PR comment to the file in question.Paste any path fragment or symbol; get every match across every tracked repo, ranked. Click → open in the dashboard's file viewer or in your IDE via the deep-link.
First-line titles, not just filenames.Each match shows the file's first markdown title or top-of-file comment, so you can spot the right one without opening it.
Cross-repo by default; LLM-free.No agent call, no embedding, no key. Pure substring index over the mirror, refreshed on every git pull. Deterministic and cheap.

Configure

Nothing — it indexes every tracked repo automatically (from repos.config.json). Add a new repo there; its files appear in the next refresh.

Use it well

Use File search when you remember the file name but not the repo, or when you're reviewing a PR comment that quotes a path. The keyboard shortcut puts you straight in the search box — faster than alt-tabbing to a terminal.

Read more