Is the Vercel Proof Stack Lake Proofstack MCP server down?

mcp-registry/app.vercel.proof-stack-lake/proofstack · v1.0.0

Also listed as github/lttxzmj/proofstack-mcp

healthy
Last checked 2026-10-24 21:40 UTC · handshake 165ms

As of 2026-10-24 21:40 UTC, the Vercel Proof Stack Lake Proofstack MCP server is up with a Glimind reliability score of 100/100 (grade A). Over the last 30 days it answered 100% of Glimind's liveness checks. It had 1 outage in 90 days, with a median recovery of 5 minutes.

uptime (30d checks)
100%
checks observed
4,644
outages (90d)
1
tools
3

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

Install Vercel Proof Stack Lake Proofstack MCP server

Add to Cursor Add to VS Code

Claude Code

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

Claude Desktop · Windsurf · Cline (mcpServers JSON)

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

Third-party server, listed as discovered. Review its source before installing.

Agent-readiness: B (85/100)

B (85/100): 0 error(s), 1 warning(s) across 3 tool(s); ~427 tokens of tool definitions.
Scores higher than 46% of 15,655 MCP servers Glimind has audited.
Its tool list costs an agent ~427 tokens per session — lighter than 95% of servers.
85 → 85 since 2026-10-17
no tool-poisoning patterns
Schemas100
Descriptions100
Safety hints30
Token cost100
Client compatibility70
Protocol100
Reliability100
Stability100

What to fix (2)

3 of 3 tool(s) carry no readOnlyHint/destructiveHint annotations.

Annotate read-only tools with {"readOnlyHint": true}. Agents and gateways can then run them without a confirmation prompt, and route around destructive ones. How to fix →

Tools: get_case, pricing_benchmarks, search_cases

No tool declares an outputSchema.

Declare outputSchema and return structuredContent (MCP 2025-06-18+). Agents can then parse results without guessing, and chain tools reliably. How to fix →

Auto-fix: 2 corrected tool definitions

Paste-ready definitions with the problems above fixed. Changes marked verify need a human look. All of them as JSON: /v1/readiness/mcp-registry%2Fapp.vercel.proof-stack-lake%2Fproofstack/fixes

get_case 1 change 
{
  "name": "get_case",
  "description": "Fetch one audited case by slug: pricing tiers as published, the paid trigger, what to copy, what NOT to copy, and every evidence source with its URL and grade.",
  "inputSchema": {
    "type": "object",
    "required": [
      "slug"
    ],
    "properties": {
      "slug": {
        "type": "string",
        "description": "The case slug, e.g. 'tally-forms' (find slugs via search_cases)."
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}
search_cases 1 change 
{
  "name": "search_cases",
  "description": "Search ProofStack's audited business-model case studies of small software products. Every case carries revenue and pricing claims linked to public sources with an evidence grade, plus an explicit list of what does NOT transfer to other builders.",
  "inputSchema": {
    "type": "object",
    "required": [
      "query"
    ],
    "properties": {
      "query": {
        "type": "string",
        "description": "Keywords: a product name, category, or business question (e.g. 'form builder', 'open source analytics')."
      },
      "category": {
        "type": "string",
        "description": "Optional exact category filter, e.g. 'Micro SaaS', 'Developer Tools', 'AI Tools'."
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

Get alerted

Get an email or webhook when this server's readiness drops by 10+ points, tool-poisoning text appears, or a tool breaks:

curl -X POST https://glimind.com/v1/subscriptions -H 'content-type: application/json' -d '{"tools":["mcp-registry/app.vercel.proof-stack-lake/proofstack"],"email":"[email protected]"}'

Agents: watch_tool({"toolId": "mcp-registry/app.vercel.proof-stack-lake/proofstack"}) over MCP.

Passed

Largest tool definitions

Static checks of the advertised tools/list (schema, descriptions, annotations, tool-poisoning patterns, names, size) plus observed protocol, uptime, latency and contract changes. Read-only: no tool is ever called. Weights: schema 15, docs 20, safety 15, efficiency 15, compatibility 15, protocol 5, reliability 10, stability 5. Token counts are estimates (~3.6 characters per token).

Operator? Fix these, then re-check live. Embed the readiness badge:

Markdown 
[![MCP agent-readiness](https://glimind.com/v1/readiness/badge/mcp-registry%2Fapp.vercel.proof-stack-lake%2Fproofstack.svg)](https://glimind.com/server/mcp-registry%2Fapp.vercel.proof-stack-lake%2Fproofstack?ref=badge)
HTML 
<a href="https://glimind.com/server/mcp-registry%2Fapp.vercel.proof-stack-lake%2Fproofstack?ref=badge"><img src="https://glimind.com/v1/readiness/badge/mcp-registry%2Fapp.vercel.proof-stack-lake%2Fproofstack.svg" alt="MCP agent-readiness"></a>
reStructuredText 
.. image:: https://glimind.com/v1/readiness/badge/mcp-registry%2Fapp.vercel.proof-stack-lake%2Fproofstack.svg
   :target: https://glimind.com/server/mcp-registry%2Fapp.vercel.proof-stack-lake%2Fproofstack?ref=badge
   :alt: MCP agent-readiness

Tool-definition log

Glimind records every version of this server's tool definitions in a signed, append-only transparency log. Current manifest sha256:d3c633d3fcdc98ab…, first seen 2026-10-17, included at leaf 1616 of 61,549. Version history · verify what your client received.

Tools (3)

Compare: most reliable knowledge servers · most reliable search servers

Know before your agent calls it

Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.

Add Glimind — free, no signup:

Add to Cursor Add to VS Code

Claude Code

claude mcp add --transport http glimind https://glimind.com/mcp

Claude Desktop · Windsurf · Cline (mcpServers JSON)

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is the Vercel Proof Stack Lake Proofstack MCP server down right now?

As of 2026-10-24 21:40 UTC, the Vercel Proof Stack Lake Proofstack MCP server is up with a Glimind reliability score of 100/100 (grade A). Over the last 30 days it answered 100% of Glimind's liveness checks. It had 1 outage in 90 days, with a median recovery of 5 minutes.

How many tools does Vercel Proof Stack Lake Proofstack MCP server provide?

Vercel Proof Stack Lake Proofstack MCP server advertises 3 tools, including get_case, pricing_benchmarks, search_cases.

How do I install Vercel Proof Stack Lake Proofstack MCP server?

Point your MCP client at this streamable-http endpoint: https://proof-stack-lake.vercel.app/mcp

Is the Vercel Proof Stack Lake Proofstack MCP server safe to connect to an AI agent?

Glimind scanned all 3 tool definitions for tool-poisoning patterns — hidden or invisible characters, instructions that override the model, concealment from the user, requests to read credential or MCP config files, conversation exfiltration and cross-tool shadowing — and found none. This checks what the server tells the model, not what its code does; review the source before granting access to sensitive data.

Operator of Vercel Proof Stack Lake Proofstack MCP server?

Status page: 90-day uptime, every outage and how long it lasted.

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.

Feedback
Help us improve