Spec Driven Development
by formulahendry
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Runs on your computer★ 440MITUpdated 14 months ago
Install
Proofstack
Overview
Description from the maker (original English)
Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.
PopNx MCP’s three pillars
These three are never merged into one score: opinions, measurements and popularity are different things.
- User voiceiNo reviews yetReviews open together with accounts in a later step
- Our basic checksi0 of 1 passedChecked from public information; code not scanned yet
- UsageiNot measured yet★ –
What you can do with it
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
- Connection: Runs in the cloud
- Transport: Streamable HTTP
- Category: Other
Install
Pick the AI app you use, then copy the settings.
Before you install
- Basic checks: 0 of 1 passed
- Runs on the maker’s server: what you ask it goes through their server.
- The registry lists no key to fill in.
You need
- Runs in the cloudNothing to install; it connects over the internet
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Works in Claude on the web, desktop and mobile:
- Open Settings → Connectors
- Press Add custom connector
- Paste the address below and press Add
- If it asks you to sign in, sign in with the maker
https://proof-stack-lake.vercel.app/mcpRun this in your terminal
claude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcpOr copy the settings yourself
Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Or copy the settings yourself
Paste into .vscode/mcp.json in your project
{
"servers": {
"proofstack": {
"type": "http",
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
ChatGPT connects only to servers on the internet:
- Open ChatGPT on the web → Settings → Connectors (Apps)
- Press Create or Add (some plans need Developer mode under Advanced first)
- Paste the address below, give it a name and save
- If it asks you to sign in, sign in with the maker
https://proof-stack-lake.vercel.app/mcpMenu names can differ slightly by plan and over time.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
What it can do
We have not read this server’s tool list yet; we check endpoints in rotation.
Basic checksi
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
- ! Caution
Maker matches the repo
The publisher (proof-stack-lake.vercel.app) is not the repo owner (lttxzmj); someone else may have listed it
- … Not checked yet
Still maintained
We have not read this repo from GitHub yet
- … Not checked yet
Has a licence
We have not read this repo from GitHub yet
- … Not checked yet
Endpoint responds
Not checked yet; we check endpoints in rotation
- … Not checked yet
Sign-in with OAuth
Not checked yet; we check endpoints in rotation
- … Not checked yet
No hidden instructions in tool descriptions
Not checked yet; we read the tool list when we check the endpoint
Compared with others in Otheri
- More stars than 0% of the other 32572 servers in this category
- Published to the registry more recently than 33% of the other 32572 servers in this category
- Basic checks equal to or better than 31% of the other 32572 servers in this category
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
Common questions
Is Proofstack safe?
It passed 0 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
What keys or codes does it need?
The registry does not list a required key, though some servers ask you to sign in on first use.
Does it run on my computer or in the cloud?
It runs in the maker’s cloud. Connect over the internet with nothing to install, but what you send passes through the maker’s servers.
Is it still maintained?
The GitHub repo last changed –, and the latest version (1.0.0) reached the registry 2 months ago.
Which apps can use it?
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT in developer mode.
What can I use instead?
In the same category: Spec Driven Development, Remote Desktop Commander, AvaHR
Alternatives
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
Remote Desktop Commander
by desktop-commander
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Runs in the cloud★ 211Updated yesterday
Install
AvaHR
by avahr.com
Read hiring data and create inactive assessment and questionnaire drafts for human review.
Runs in the cloudUpdated today
Install
README from the maker
Open the README
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
ProofStack MCP Server
Remote Model Context Protocol server for ProofStack — a library of researched indie product cases with published pricing, revenue disclosures where available, and source links. Research depth, freshness, and translation coverage vary by case; this is not a financial audit.
Endpoint (Streamable HTTP, no auth required):
https://proof-stack-lake.vercel.app/mcpTools
| Tool | What it does |
|---|---|
search_cases | Search the published product library by keyword, category, business model, or acquisition channel |
get_case | Full case detail: pricing tiers, revenue disclosures, acquisition operations, what to copy / what not to copy, and available source URLs |
pricing_benchmarks | Median first paid tier, free-tier prevalence, and paywall-capability distribution, computed from published pricing pages |
Example client configuration
{"mcpServers": { "proofstack": { "url": "https://proof-stack-lake.vercel.app/mcp" } } }
Works with any MCP client that supports remote Streamable HTTP servers (Claude Desktop / Claude Code, Cursor, etc.).
Source code
The server implementation is open (Apache-2.0) in src/: mcp.ts is the exact JSON-RPC/tool logic running at the endpoint above, and pricingBenchmark.ts is the benchmark computation. The data source contract is documented in database-contract.ts; the underlying dataset is open too (CC BY 4.0) at proofstack-dataset.
Data honesty rules
- Revenue that is not publicly disclosed is returned as
unknown— never estimated. - Acquisition narratives are researched from first-party sources; cases that have not been researched yet say so explicitly instead of returning template text.
- Cases include available source URLs with evidence grades (A/B/C). Check each case’s research status and sources before relying on its claims.
Open dataset: the full case library and benchmarks are downloadable at proofstack-dataset (CC BY 4.0).
More machine-readable context: llms.txt · Pricing benchmarks · Case library
Free tool: AI-visibility check
Can GPTBot and ClaudeBot actually read *your* site? Run the free check (robots rules, llms.txt, sitemap, server rendering, JSON-LD) and get a shareable scorecard + README badge: https://proof-stack-lake.vercel.app/ai-check
Local / evaluation adapter
Requires Node.js 22 or later. Run node stdio.mjs to expose the same public tools over newline-delimited JSON-RPC stdio. This adapter forwards tool requests to the public endpoint above; it does not require a database credential, read local files, or host a separate dataset. Only JSON-RPC responses go to stdout. An endpoint outage returns a protocol error instead of invented data. The adapter supports this endpoint's JSON responses; it is not a general-purpose SSE proxy.
For Glama: build steps [], CMD arguments ["node", "stdio.mjs"], Node.js 24, no environment variables. Publishing an evaluation release does not require paid hosting.