Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Tested, version-pinned code recipes for AI coding agents, each with its last-passed receipt.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
You need
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:
https://mcp.provenpin.com/mcpRun this in your terminal
claude mcp add --transport http provenpin https://mcp.provenpin.com/mcpPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"provenpin": {
"url": "https://mcp.provenpin.com/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.
Paste into .vscode/mcp.json in your project
{
"servers": {
"provenpin": {
"type": "http",
"url": "https://mcp.provenpin.com/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:
https://mcp.provenpin.com/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.
We have not read this server’s tool list yet; we check endpoints in rotation.
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 6, 2026
The registry name was verified with the GitHub account provenpin, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
Not checked yet; we check endpoints in rotation
Not checked yet; we check endpoints in rotation
Not checked yet; we read the tool list when we check the endpoint
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 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.
The registry does not list a required key, though some servers ask you to sign in on first use.
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.
The GitHub repo last changed –, and the latest version (0.1.0) reached the registry 22 days ago.
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.
In the same category: Spec Driven Development, Remote Desktop Commander, yontu
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
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.
Türkçe yazı denetimi: TDK kuralları, yapay zekâ izleri, metin türüne göre üslup.
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.
Website · Free models · Outside test · Install · Receipts feed
Tested, version-pinned, multi-library code recipes built to help free and cheap AI models write working code, served over MCP.
Every recipe pins exact versions, runs its own tests in a clean environment, and carries a receipt with the time it last passed. Recipes are re-tested automatically when any of their libraries ships a new release. The MCP server only serves recipes that are currently passing.
ProvenPin is a hosted MCP server. No API key, no signup.
Endpoint: https://mcp.provenpin.com/mcp
Claude Code
claude mcp add --transport http provenpin https://mcp.provenpin.com/mcp
Add --scope user to load it in every project, not just the current one.
Cursor (~/.cursor/mcp.json)
{ "mcpServers": { "provenpin": { "url": "https://mcp.provenpin.com/mcp" } } }
Cursor one-click install link (open it on a machine with Cursor installed):
cursor://anysphere.cursor-deeplink/mcp/install?name=provenpin&config=eyJ1cmwiOiJodHRwczovL21jcC5wcm92ZW5waW4uY29tL21jcCJ9
OpenCode (opencode.json in the project root)
{ "$schema": "https://opencode.ai/config.json", "mcp": { "provenpin": { "type": "remote", "url": "https://mcp.provenpin.com/mcp", "enabled": true } } }
VS Code (.vscode/mcp.json)
{ "servers": { "provenpin": { "type": "http", "url": "https://mcp.provenpin.com/mcp" } } }
Windsurf (~/.codeium/windsurf/mcp_config.json)
{ "mcpServers": { "provenpin": { "serverUrl": "https://mcp.provenpin.com/mcp" } } }
Cline (MCP settings)
{ "mcpServers": { "provenpin": { "type": "streamableHttp", "url": "https://mcp.provenpin.com/mcp" } } }
Then ask your agent something like "find a tested recipe for a Next.js Stripe webhook".
| tool | what it does |
|---|---|
search_recipes | find passing recipes by plain words, stack filter or language |
get_recipe | full files, pinned versions, setup and test commands, and the receipt |
list_stacks | libraries that have tested recipes, with counts |
recipes/ one folder per recipe (see SPEC.md)
runner/ validate, run tests in isolation, write receipts, release check, build index receipts/ real test receipts (JSON) index/ built index.json served by the MCP server server/ MCP server (TypeScript, Cloudflare Workers, local dev mode) .github/ CI: matrix per recipe, scheduled + on demand, release-triggered re-tests
npm install
npm run validate # check manifests and pins npm run test:recipes # run every recipe, write receipts node runner/run.mjs hono-zod-validator # run one node runner/typecheck.mjs hono-zod-validator # tsc --noEmit on a TypeScript recipe (CI runs it on touched recipes) npm run affected # recipes with newer upstream releases npm run build:index # build index/index.json npm test # runner unit tests
cd server && npm install npm test # MCP server unit tests npm run dev # http://localhost:8787/mcp
Connect a client to the local server, for example in Claude Code:
claude mcp add --transport http provenpin http://localhost:8787/mcp
Pro API keys (groundwork, off by default): the free tier needs no key. When PROVENPIN_PRO_ENABLED is "true", a valid Authorization: Bearer header marks the caller as Pro. Keys come from the PROVENPIN_API_KEYS secret or the PRO_KEYS KV namespace (entries key: ). Usage events record only the tier (free or pro), never the key.
https://mcp.provenpin.com/receipts.json (also index/receipts.json, rebuilt with the index) lists every recipe:
| Field | Meaning |
|---|---|
id, language | Recipe id and language |
pinned | Exact versions the recipe was tested with |
runtime | Runtime of the last test run, for example node v22.23.3 |
status | passed, failed, setup_failed, invalid, stale (code changed since the last run) or untested |
last_passed_at | When the tests last passed on the pinned versions (UTC) |
run_url | GitHub Actions run that produced the current receipt |
staleness | Weekly re-test with stack libraries bumped to latest: status (current, passes_on_latest, breaks_on_latest, deprecated_upstream (every stable release of a stack library is deprecated on npm), error or unchecked), checked_at, latest versions tried, run_url |
The staleness check (.github/workflows/staleness.yml) runs weekly in a temp copy. It never edits a recipe or its receipt, and it lists recipes that break on latest in one GitHub issue.
CLOUDFLARE_API_TOKEN and CLOUDFLARE_ACCOUNT_ID as repo secrets, set repo variable DEPLOY_ENABLED=true.cd server && npx wrangler deploy (or let CI do it), then route mcp. to the worker.MIT. See LICENSE.