mathlib-rag

{
  "mcpServers": {
    "mathlib-rag": {
      "command": "python3",
      "args": [
        "./mcp_server/mathlib_rag.py"
      ]
    }
  }
}