Today · File search

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

  • Desktop: http://localhost:4000/, then Today → File search in the sidebar.
  • Hosted: repoops.ai/team/file-search
  • Keyboard: ⌘ K, then type “File search”.
  • API: GET /api/index/search?q=<query>

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 a doc match → open it in the dashboard's file viewer.
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, built at startup and rebuilt on demand (POST /api/index/refresh). 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. It beats alt-tabbing to a terminal and remembering which repo holds the file.

Read more