Repository navigation

feat: add a plugin API and startup timing - #399

Merged

erkamyaman merged 6 commits into

mainfrom

feat/phase4-plugins

Oct 13, 2026

Merged

feat: add a plugin API and startup timing#399
erkamyaman merged 6 commits into
mainfrom
feat/phase4-plugins

Commits on Oct 13, 2026
- feat(overlay): add a plugin API and startup timing
  erkamyaman
  committed
  6298c48
- build(extension): rebuild the panel bundle
  erkamyaman
  committed
  519aace
- fix(overlay): harden plugins and pace startup timing
  erkamyaman
  committed
  2dbe07a
- build(extension): rebuild the panel bundle
  erkamyaman
  committed
  d90c209
- Merge remote-tracking branch 'origin/main' into feat/phase4-plugins
  erkamyaman
  committed
  7568797
- fix(mcp): hide the plugins state from agents while a plugin's tools are off
  erkamyaman
  committed
  ff50385