Links for mcp-contradiction-check