Prolog Reasoner · MCP-серверы · Claude Маркетплейс