Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
适用于网页版、桌面版和手机版 Claude:
https://proof-stack-lake.vercel.app/mcp在终端中运行这条命令
claude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcp粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"proofstack": {
"type": "http",
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
ChatGPT 只能连接互联网上的服务器:
https://proof-stack-lake.vercel.app/mcp菜单名称可能因套餐和版本不同而略有差异。
你的选择通过 Cookie 保存在这台设备上,无需账户。
这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
我们还没有读取这个服务器的工具列表;我们会轮流检查各个端点。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日
发布者(proof-stack-lake.vercel.app)不是仓库所有者(lttxzmj);可能是其他人代为上架的
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
尚未检查;我们会轮流检查各个端点
尚未检查;我们会轮流检查各个端点
尚未检查;我们会在检查端点时读取工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 0 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。
它在作者的云端运行。通过互联网连接,无需安装,但你发送的内容会经过作者的服务器。
GitHub 仓库最后更新于–,最新版本(1.0.0)于2个月前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。它通过 URL 连接,所以接受远程 MCP 服务器的应用也可以使用,例如开启开发者模式的 ChatGPT。
同一分类中有:Spec Driven Development, Remote Desktop Commander, FlyDocs
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ GitHub 星标i三大支柱:评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Spec-driven development workflow: your agent works issues, sessions and the status lifecycle.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
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/mcp
| 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 |
{
"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.).
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.
unknown — never estimated.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
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
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.