SAGE - Solver-Augmented Grounding Engine

SAGE - Solver-Augmented Grounding Engine se ejecuta en local a partir de un paquete de Python publicado en PyPI: sage-solver-mcp, versión 0.1.1. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Python; los clientes suelen iniciarlo con uvx (de uv) o tras pip install - el comando habitual es uvx sage-solver-mcp.

En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):

{
  "mcpServers": {
    "sage-solver-mcp": {
      "command": "uvx",
      "args": [
        "sage-solver-mcp"
      ]
    }
  }
}

Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar