MCP Safe Local Python… vs Prolog Reasoner | AllMCPs