📣 Smithery's MCP Proxy and managed identity shut down on October 31. See what's changing
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
