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.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っている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 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ(開発者モードのChatGPTなど)でも使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, TF Rooms
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況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.
Live room availability, rates and stay quotes for 12 New Leaf motels in Twin Falls, Idaho.
作者のリポジトリから書かれたとおりにコピーしたものです。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.