Searching in mcp-server/src/cbmcp