Add case-insensitive handling for server and tool names#148

peteski22 merged 1 commit intomainmozilla-ai/mcpd:mainfrom

peteski22/fix/tools-case-sensitivemozilla-ai/mcpd:peteski22/fix/tools-case-sensitiveCopy head branch name to clipboard