RFD: Symposium MCP Server - #260

Merged

nikomatsakis merged 5 commits into

symposium-dev:mainfrom

nikomatsakis:symposium-mcp-design

Jul 28, 2026

Commits on Jul 2, 2026

Add RFD: MCP meta-server for progressive tool disclosure

nikomatsakis
and
claude
committed
Revise MCP meta-server implementation plan for TDD

nikomatsakis
and
claude
committed

Commits on Jul 7, 2026

Add related work section to MCP meta-server RFD

nikomatsakis
and
claude
committed
Revise MCP meta-server RFD to use code execution model

nikomatsakis
and
claude
committed

Commits on Jul 28, 2026

Merge branch 'main' into symposium-mcp-design
nikomatsakis
authored