Repository navigation

chore(server): record the notebook tools' MCP tool-list size - #260

Merged

tannerpolley merged 2 commits into

mainfrom

fix/agent-context-budget-notebooks

Oct 30, 2026

Merged

chore(server): record the notebook tools' MCP tool-list size#260
tannerpolley merged 2 commits into
mainfrom
fix/agent-context-budget-notebooks

Commits on Oct 30, 2026
- chore(server): record the notebook tools' MCP tool-list size (#259)
  
  tannerpolley
  and
  claude
  committed
  b54d9a5
- Merge remote-tracking branch 'origin/main' into fix/agent-context-budget-notebooks
  tannerpolley
  committed
  cd07311