tickets: MCP for the agents to open and follow code tickets in Notion, at /mcp (Bearer <agent token>).