A sample MCP server