MCP server for AI coding editors — deploy and manage prediction-market trading agents directly from your editor.