Add MCP server#15

Open

MartinDevi wants to merge 10 commits into

mainfrom

mdevillers/add-mcp-server

Commits on Jul 10, 2026

docs: improve MCP tool docstrings with agentic search strategy

MartinDevi
and
claude
committed