Repository navigation

feat(cli): add proofpath update and the TUI's /update - #15

Merged

Yigtwxx merged 2 commits into

mainfrom

feat/update-command

Oct 5, 2026

Merged

feat(cli): add proofpath update and the TUI's /update#15
Yigtwxx merged 2 commits into
mainfrom
feat/update-command

Commits on Oct 5, 2026
- feat(cli): add `proofpath update` and the TUI's `/update`
  
  Yigtwxx
  and
  claude
  committed
  5329482
- test(tui): let the /resolve worker finish before the app closes
  
  Yigtwxx
  and
  claude
  committed
  a9be853