Proofstack is a remote MCP server that gives an AI agent 3 tools, among them get_case, pricing_benchmarks, search_cases. It answers at https://proof-stack-lake.vercel.app/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 11 of 11 times since 3 September 2026; the last check, on 19 October 2026, succeeded.
Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
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. Inputs: slug |
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 e Inputs: category |
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 buil Inputs: query, category |
Every block below points at https://proof-stack-lake.vercel.app/mcp. Pick your client and copy.
claude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcp
{
"mcpServers": {
"proofstack": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://proof-stack-lake.vercel.app/mcp"]
}
}
}{
"mcpServers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}{
"servers": {
"proofstack": {
"type": "http",
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}{
"context_servers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}{
"mcpServers": {
"proofstack": {
"serverUrl": "https://proof-stack-lake.vercel.app/mcp"
}
}
}{
"mcpServers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}name: Proofstack
version: 0.0.1
schema: v1
mcpServers:
- name: Proofstack
type: streamable-http
url: https://proof-stack-lake.vercel.app/mcp{
"mcpServers": {
"proofstack": {
"httpUrl": "https://proof-stack-lake.vercel.app/mcp"
}
}
}{
"mcpServers": {
"proofstack": {
"type": "http",
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}{
"mcpServers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fproof-stack-lake.vercel.app%2Fmcp&type=streamable_http&id=proofstack&name=Proofstack
It answered our last check on 19 October 2026 in 182 ms. Over 11 checks since 3 September 2026 it answered 11. Status here comes from Neuronto's own probes, not from the publisher.
3, as returned by the server's own tools/list on 3 September 2026: get_case, pricing_benchmarks, search_cases.
It answered our last check on 19 October 2026 in 182 ms. Over 11 checks since 3 September 2026 it answered 11.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://proof-stack-lake.vercel.app/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: app.vercel.proof-stack-lake. Endpoint host: proof-stack-lake.vercel.app. ARD identifier: urn:air:app.vercel.proof-stack-lake:mcp:proofstack.
First indexed 3 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.