Repository navigation

Register project tools through devtools' shared registry (0.7.9) - #4

Merged

MainSequenceDev merged 5 commits into

mainfrom

codex/shared-project-tool-registry

Oct 23, 2026

Merged

Register project tools through devtools' shared registry (0.7.9)#4
MainSequenceDev merged 5 commits into
mainfrom
codex/shared-project-tool-registry

Commits on Oct 23, 2026
- Use local-backend for local development clients
  
  MainSequenceDev
  and
  codex
  committed
  f7c36ce
- Complete MainSequence agent messaging and workspace tools
  
  MainSequenceDev
  and
  codex
  committed
  0097b4c
- Register saved MCP tools directly and lift the Codex tool timeout (0.7.8)
  
  MainSequenceDev
  and
  claude
  committed
  e5ba1a7
- Register project tools through devtools' shared registry (0.7.9)
  
  MainSequenceDev
  and
  claude
  committed
  5db974f
- Pin devtools 0.3.12 by its published integrity
  
  MainSequenceDev
  and
  claude
  committed
  07cced8