Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

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

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

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "proofstack": {
      "type": "remote",
      "url": "https://proof-stack-lake.vercel.app/mcp",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "proofstack": {
      "type": "http",
      "url": "https://proof-stack-lake.vercel.app/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=proofstack&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vcHJvb2Ytc3RhY2stbGFrZS52ZXJjZWwuYXBwL21jcCJ9"
}

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

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

extensions:
  "proofstack":
    enabled: true
    name: "proofstack"
    type: streamable_http
    uri: "https://proof-stack-lake.vercel.app/mcp"
    timeout: 300

Quality 79 / 100good

protocol75 · weight 25

warn
protocol.modernnewest supported version is 2024-11-05; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
n/a
protocol.statelessonly applies to 2026-07-28 servers
pass
protocol.transportstreamable HTTP
n/a
protocol.list_ttlonly applies to 2026-07-28 servers

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene71 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
fail
tools.annotationsno tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky ones
fail
tools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: get_case (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); pricing_benchmarks (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); search_cases (readOnlyHint, destructiveHint, idempotentHint, openWorldHint)
pass
tools.token_costabout 354 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability100 · weight 15

pass
stability.changesno tool changes in 30 days
pass
stability.rug_pullno tool changed its meaning under the same name

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

3 tools, about 354 tokens to load them all · tool set 0ce8d723dd2e · checked 2026-10-19 10:52 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 90 / 100

provenance75

liveness100

freshness85

hygiene100

+repository +dns-namespace +reachable +uptime-100% ~updated-46d-ago

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://proof-stack-lake.vercel.app/mcp` streamable-http	none	yes	100%	266 ms	2024-11-05	2026-10-19

Tools (3)

`get_case`	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.
`pricing_benchmarks`	Pricing statistics counted from the published pricing pages of audited cases: median first paid tier, free-tier prevalence, and which capabilities most often sit behind the paywall. Products without a public price are excluded rather than estimated; no ranking or traffic figures exist here because those cannot be verified freely.
`search_cases`	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.

Schemas: list_tools.

Similar MCP servers

Official server.json

{
  "name": "app.vercel.proof-stack-lake/proofstack",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-07-09/server.schema.json",
  "remotes": [
    {
      "url": "https://proof-stack-lake.vercel.app/mcp",
      "type": "streamable-http"
    }
  ],
  "version": "1.0.0",
  "repository": {
    "url": "https://github.com/lttxzmj/proofstack-mcp",
    "source": "github"
  },
  "description": "Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks."
}