Soduku Solver MCP Server | LangDB