SERVER

ProofStack MCP Server

Rank #49,195

app.vercel.proof-stack-lake/proofstack

Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.

1 version

by lttxzmj (2 servers)View repository ↗

Listed & last published

Sep 3, 2026

PURPOSE

What you can do with ProofStack MCP Server

ProofStack MCP Server is a Model Context Protocol (MCP) server published by lttxzmj. It ranks #49,195 of 169,787 active servers on MCP Toplist. ProofStack MCP Server is listed across 2 registries — Official MCP and Glama, with 1 tracked version. It was first listed on Sep 3, 2026 and most recently updated on Sep 3, 2026.

Not verifiedMCP Toplist has not yet written a checked profile for this server, so the paragraph above is assembled from registry data only. The repository README is the authority on what it does.

CAPABILITIES AND LIMITATIONS

What ProofStack MCP Server can and cannot do

MCP Toplist connected to the public endpoint on Oct 27, 2026 and it listed 3 tools. Tool names are not stored, so what they do is not catalogued here.

Not verifiedMCP Toplist has not catalogued this server's tools or limitations. The repository README lists them.

REQUIREMENTS

What you need before using ProofStack MCP Server

VerifiedNo credentialsNo credentials declared

The registry listing declares no required environment variables or authentication. This is declared metadata, not a verified install — the repository README is the authority.

Verified by MCP Toplist on Oct 27, 2026: the public endpoint completed the MCP handshake and listed 3 tools without credentials.

Declared by Glama, last synced Nov 5, 2026. Not independently verified by MCP Toplist.

Declared in the registry install config

Hosted endpoint declared as public.

INSTALLATION AND FIRST TASK

Connect ProofStack MCP Server and confirm it works

Remote · HTTP

claude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcp

Remote · HTTP

[mcp_servers.proofstack]
url = "https://proof-stack-lake.vercel.app/mcp"

Add to ~/.codex/config.toml.

Remote · HTTP

https://proof-stack-lake.vercel.app/mcp

Settings → Connectors → “Add custom connector”, then paste this URL.

Remote · HTTP

{
  "mcpServers": {
    "proofstack": {
      "url": "https://proof-stack-lake.vercel.app/mcp"
    }
  }
}

Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).

Remote · HTTP

{
  "servers": {
    "proofstack": {
      "type": "http",
      "url": "https://proof-stack-lake.vercel.app/mcp"
    }
  }
}

Save as .vscode/mcp.json in your workspace.

Remote · HTTP

{
  "mcpServers": {
    "proofstack": {
      "serverUrl": "https://proof-stack-lake.vercel.app/mcp"
    }
  }
}

Add to ~/.codeium/windsurf/mcp_config.json.

Remote · HTTP

{
  "mcpServers": {
    "proofstack": {
      "url": "https://proof-stack-lake.vercel.app/mcp"
    }
  }
}

First successful task

After adding the config, ask your client to list this server's tools. A tool list confirms the connection; an empty list or an error means the server did not start or needs credentials.

ALTERNATIVES

When to choose another server

Other servers by lttxzmj

chinese-law-mcp#65,628

View all lttxzmj servers →

No task-specific alternatives are catalogued for ProofStack MCP Serveryet; the list above is its publisher's other servers.

MAINTENANCE AND EVIDENCE

What changed, and when this was checked

First listed: Sep 3, 2026
Latest version published: Sep 3, 2026
Version history: 1 version tracked (below)
Requirements evidence: Verified by MCP Toplist on Oct 27, 2026: the public endpoint completed the MCP handshake and listed 3 tools without credentials.
Profile checked: Not yet — purpose, capabilities and requirements above come from registry data only
Ranking data as of: Nov 5, 2026

Registry sightings

Official MCP ↗listed since Sep 4, 2026 · still listed
Glama ↗listed since Oct 4, 2026 · still listed

Do you maintain ProofStack MCP Server? to correct or enrich this profile.

VERSIONS

Available versions (1)

Version	Published
1.0.0	Sep 3, 2026

STANDING

#49,195of 169,787 active serversTop 50%

Ranks ahead of 120,592 of 169,787 servers on MCP Toplist.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

Markdown

[![MCP Toplist](https://mcptoplist.com/badge/app.vercel.proof-stack-lake%2Fproofstack.svg)](https://mcptoplist.com/server/app.vercel.proof-stack-lake%2Fproofstack)

HTML

<a href="https://mcptoplist.com/server/app.vercel.proof-stack-lake%2Fproofstack"><img src="https://mcptoplist.com/badge/app.vercel.proof-stack-lake%2Fproofstack.svg" alt="MCP Toplist: Top 50% of 169,787" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

FAQ

Frequently asked questions

Who maintains ProofStack MCP Server?: ProofStack MCP Server is maintained by lttxzmj, which publishes 2 MCP servers (1 total version) tracked on MCP Toplist.
Is ProofStack MCP Server listed on the Official MCP Registry?: Yes — ProofStack MCP Server is listed on the Official MCP Registry, alongside Glama.
How many versions does ProofStack MCP Server have?: MCP Toplist tracks 1 version of ProofStack MCP Server, most recently published on Sep 3, 2026.
Where can I find the source code for ProofStack MCP Server?: The source code for ProofStack MCP Server is hosted at github.com/lttxzmj/proofstack-mcp.

Used in projects

Do you run this server?

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE

All MCP Servers Official MCP Servers GitHub MCP Servers Best MCP Servers Most Active MCP Servers New MCP Servers Best New MCP Servers