{
  "servers": {
    "contextstream": {
      "type": "http",
      "url": "https://mcp.contextstream.io/mcp?default_context_mode=fast",
      "headers": {
        "X-ContextStream-Toolset": "complete",
        "X-ContextStream-Output-Format": "compact",
        "X-ContextStream-Search-Limit": "15",
        "X-ContextStream-Search-Max-Chars": "2400",
        "X-ContextStream-Transcripts-Enabled": "true",
        "X-ContextStream-Consolidated": "true"
      }
    },
    "remote-lean-proof": {
      "type": "stdio",
      "command": "python3",
      "args": [
        "4-Infrastructure/infra/remote_lean_proof_mcp.py"
      ],
      "env": {
        "PROOF_SERVER_URL": "${PROOF_SERVER_URL}",
        "PROOF_SERVER_TOKEN_FILE": "/home/allaun/.config/ene/language-proof-server.token"
      }
    },
    "deepseek-prover": {
      "type": "stdio",
      "command": "python3",
      "args": [
        "4-Infrastructure/infra/deepseek_prover_mcp.py"
      ],
      "env": {
        "DEEPSEEK_PROVER_BACKEND": "ollama",
        "OLLAMA_URL": "http://localhost:11434",
        "LAKE_WORKDIR": "/home/allaun/Research Stack/0-Core-Formalism/lean/Semantics"
      }
    },
    "vikunja": {
      "type": "stdio",
      "command": "python3",
      "args": [
        "4-Infrastructure/infra/vikunja_mcp.py"
      ],
      "env": {
        "VIKUNJA_URL": "http://100.92.88.64:3456",
        "VIKUNJA_TOKEN_FILE": "/home/allaun/.config/ene/vikunja.token"
      }
    },
    "lean-lsp": {
      "type": "stdio",
      "command": "python3",
      "args": [
        "4-Infrastructure/infra/lean_lsp_mcp_wrapper.py",
        "--lean-project-path",
        "0-Core-Formalism/lean/Semantics"
      ],
      "env": {}
    },
    "k8s": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "kubernetes-mcp-server@latest",
        "--read-only"
      ],
      "env": {}
    },
    "arxiv": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "arxiv-mcp-server",
        "--storage-path",
        "/home/allaun/.arxiv-papers"
      ],
      "env": {}
    },
    "nixos": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mcp-nixos"
      ],
      "env": {}
    }
  }
}