ECHR/HUDOC MCP server. POST JSON-RPC to /mcp/<token>. Tools: search_echr_cases, get_echr_case, list_echr_reference.