Skip to content

Conversation

@nikomatsakis
Copy link
Member

No description provided.

nikomatsakis and others added 5 commits December 15, 2025 05:21
Remove zed-extension/dev/ - Zed's agent_servers settings.json config
is simpler than the extension wrapper approach.

cargo setup --zed now configures Zed to use symposium-acp-agent
directly via the custom agent_servers config.

Co-authored-by: Claude <[email protected]>
- Use yopo::prompt with Component directly instead of manual duplex streams
- Simplify tracing filter setup using EnvFilter::try_new
- Remove unused imports

Co-authored-by: Claude <[email protected]>
- Upgrade sacp/yopo/elizacp from 3.x-5.x to 6.x
- Upgrade sparkle-mcp from 0.1.7 to 0.2.0
- Refactor crate-sources-proxy to use new cx.build_session() API
- Remove ResearchState - session management now handled inline
- Use on_receive_request_from pattern instead of separate handlers
- Fix symposium-math to use closure-based with_rmcp_server

Co-authored-by: Claude <[email protected]>
- Update all sacp-* and related crates from 8.0.0 to 9.0.0
- Replace tool_fn with tool_fn_mut + sacp::tool_fn_mut!() macro
- Simplify MCP server setup using McpServer::builder() and with_mcp_server()
- Remove git-based patches, now using crates.io releases

Co-authored-by: Claude <[email protected]>
Remove local path override, now using published version.

Co-authored-by: Claude <[email protected]>
@nikomatsakis nikomatsakis merged commit 27e91d7 into symposium-dev:main Dec 19, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant