Repository navigation

Add cross-harness MCP server manager - #4634

Closed

m-de-graaff wants to merge 5 commits into

pingdotgg:mainfrom

m-de-graaff:feat/mcp-manager

Commits on Jul 27, 2026
- feat(mcp): add cross-harness MCP server manager
  
  m-de-graaff
  and
  claude
  committed
  02c53f8
- fix(mcp): address review findings on the MCP manager
  
  m-de-graaff
  and
  claude
  committed
  3b3bf34
- fix(mcp): harden MCP manager against the second review round
  
  m-de-graaff
  and
  claude
  committed
  e6b8837
- fix(mcp): third review round — fail closed on unknown config, reject stale toggles
  
  m-de-graaff
  and
  claude
  committed
  ecbe7b2
- Merge branch 'main' into feat/mcp-manager
  m-de-graaff
  authored
  15be076