An MCP server that uses SWI-Prolog for logical deduction to find root causes of errors in service dependencies, enabling root cause analysis, impact analysis, and cycle detection.
