MCP server for SearXNG with 13 production-ready tools for web search, package info, GitHub integration, error translation, API docs, and more