Skip to content

RFD: Symposium MCP Server - #260

Merged
nikomatsakis merged 5 commits into
symposium-dev:mainfrom
nikomatsakis:symposium-mcp-design
Jul 28, 2026
Merged

RFD: Symposium MCP Server#260
nikomatsakis merged 5 commits into
symposium-dev:mainfrom
nikomatsakis:symposium-mcp-design

Merge branch 'main' into symposium-mcp-design

1f9e54a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Run tests (musl)
succeeded Jul 28, 2026 in 3m 7s