Skip to content

Fix search_documentation: call renamed downstream docs MCP tool - #39

Draft
devin-ai-integration[bot] wants to merge 1 commit into
mainfrom
devin/1784413533-fix-docs-search-tool-name
Draft

Fix search_documentation: call renamed downstream docs MCP tool#39
devin-ai-integration[bot] wants to merge 1 commit into
mainfrom
devin/1784413533-fix-docs-search-tool-name

Commits

Commits on Jul 18, 2026