MCP server

ProvenPin Official

io.github.provenpin/provenpin

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

Tested, version-pinned code recipes for AI coding agents, each with its last-passed receipt.

Website Source

At a glance

Type

MCP server

Publisher

provenpin.com (verified by the MCP Registry)

Status

Working at last check

Tools

3

Token cost

About 1,162 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http provenpin https://mcp.provenpin.com/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.provenpin]
url = "https://mcp.provenpin.com/mcp"

Gemini CLI

{"mcpServers":{"provenpin":{"httpUrl":"https://mcp.provenpin.com/mcp"}}}

Cursor

{"mcpServers":{"provenpin":{"url":"https://mcp.provenpin.com/mcp"}}}

VS Code

{"servers":{"provenpin":{"type":"http","url":"https://mcp.provenpin.com/mcp"}}}

Antigravity

agy mcp add provenpin https://mcp.provenpin.com/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"provenpin","server_url":"https://mcp.provenpin.com/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"provenpin","server_url":"https://mcp.provenpin.com/mcp"}

Tools

• get_recipe ~483 tokens
  Call this right after search_recipes returns a matching recipe, before you write the integration code, so you start from files and versions that passed tests. Gets the full recipe by id (ids come from search_recipes): every source and test file (each with the sha256 of the exact bytes that were test
• list_stacks ~106 tokens
  Call this when the user names a library and you are not sure ProvenPin covers it, or after search_recipes returns nothing. Lists the libraries and frameworks that currently have passing, version-pinned recipes, with recipe counts; use the names as the stack filter in search_recipes.
• search_recipes ~573 tokens
  Find a tested, version-pinned code recipe for wiring libraries together. Call this BEFORE writing glue code that combines 2+ libraries (auth + framework, ORM + database, payments webhooks, queues, validation, request mocking, logging), when choosing or pinning package versions, when upgrading a libr

Browse

• GitHub tools
• Stripe tools
• Payments
• GitHub and code hosting
• Databases
• Food and recipes

Related MCP servers

• Robot Skill Hub
  Search robot code and exact-version findings; check evidence before preparing with the Hub CLI.
• BotGathering recipes
  Search, read, download and report on tested step-by-step recipes (playbooks) for AI agents.
• Guardian Engine
  Deterministic recipe verification engine — validates AI-generated recipes against master SOPs.
• Mostly Right
  Search, sample and query open reproducible datasets published as immutable Parquet with schemas.
• Seller Funded Verification Bond
  Slashable TEST/STUB bond pinned to one exact claim; a confirmed divergence slashes 50%.
• Befana Recipes
  Ad-free recipes with amounts in every step: search, scale, plan meals, build shopping lists.
• Extcord
  Agent utilities: read big pages without filling context, exact math, dates, parsing. Free.
• Security Recipes
  Read-only CVE intelligence, remediation playbooks, and agent setup guides. Not a scanner.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.provenpin/provenpin.svg)](https://aptlynx.net/servers/io.github.provenpin/provenpin)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents