stacks-mcp

MCP server for the Stacks Project (stacks.math.columbia.edu) — algebraic geometry and commutative algebra reference.

Installation

MCP client config (paste into mcp.json)

{
  "mcpServers": {
    "tdupu-mathcity-subdomains-lean-mcp-stacks": {
      "command": "uvx",
      "args": [
        "--from",
        "stacks-mcp",
        "stacks-mcp"
      ]
    }
  }
}

Agent install prompt

Copy and paste into Cursor / Claude / other agents to install this MCP for you

Please read this MCP repository and install it into my current environment:
https://github.com/tdupu/mathcity/tree/main/subdomains/lean/mcp/stacks

Known working client config (can write into mcp.json):
{
  "mcpServers": {
    "tdupu-mathcity-subdomains-lean-mcp-stacks": {
      "command": "uvx",
      "args": [
        "--from",
        "stacks-mcp",
        "stacks-mcp"
      ]
    }
  }
}

Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.

GitHub

Related servers