Outsource MCP vs Prolog Reasoner | AllMCPs