MCP solver in Python