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, Tools MCP
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Web production tools for AI agents: contrast, JP text, WebP, JSON-LD, slugs, dates and 40+ more
作者のリポジトリから書かれたとおりにコピーしたものです。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.