Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Every number in an AI answer traces back to the rows that produced it.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
DATABASE_URL, PROVENANCE_DB, PROVENANCE_ACTOR标为机密的值是你账户的钥匙。千万不要分享给别人,也不要粘贴到聊天里。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
打开 Claude Desktop → Settings → Developer → Edit Config,把下面的内容粘贴到 claude_desktop_config.json
{
"mcpServers": {
"footnote": {
"command": "npx",
"args": [
"-y",
"@brick-byte/footnote"
],
"env": {
"DATABASE_URL": "your-value",
"PROVENANCE_DB": "your-value",
"PROVENANCE_ACTOR": "your-value"
}
}
}
}在终端中运行这条命令
claude mcp add footnote --env DATABASE_URL=your-value --env PROVENANCE_DB=your-value --env PROVENANCE_ACTOR=your-value -- npx -y @brick-byte/footnote运行前请先填写空着的值。
粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"footnote": {
"command": "npx",
"args": [
"-y",
"@brick-byte/footnote"
],
"env": {
"DATABASE_URL": "your-value",
"PROVENANCE_DB": "your-value",
"PROVENANCE_ACTOR": "your-value"
}
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"footnote": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@brick-byte/footnote"
],
"env": {
"DATABASE_URL": "your-value",
"PROVENANCE_DB": "your-value",
"PROVENANCE_ACTOR": "your-value"
}
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
这个服务器在你的电脑上运行,而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。
你的选择通过 Cookie 保存在这台设备上,无需账户。
PROVENANCE_DB envPROVENANCE_ACTOR env这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月6日
注册名称已通过域名 brick-byte.com 验证(注册中心会核实域名所有权)
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
它在你的电脑上运行,没有互联网端点
在你的电脑上运行,改用本地设置
它在你的电脑上运行;我们只能读取互联网端点的工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
你需要填写:DATABASE_URL
它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。
GitHub 仓库最后更新于–,最新版本(0.2.0)于昨天进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Node.js。
同一分类中有:Spec Driven Development, Remote Desktop Commander, Safe Fetch
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ 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.
MCP server for fetching URLs, safe against SSRF, DNS rebinding, and redirect-to-internal attacks.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
An MCP server that prevents hallucinated numbers when AI answers questions over ERP and finance data. Every figure in an answer traces back to the database rows that produced it: clickable at read time, exportable for an auditor, and tamper-evident.
Works with any MCP client: Claude Desktop, Cursor, Microsoft Agent Framework, Semantic Kernel (.NET), LangChain, or your own loop.
An MCP server, a provenance store, and a demo UI showing what the combination looks like.
The quickest way to try it:
// claude_desktop_config.json — sample data, nothing to install
{ "mcpServers": { "footnote": { "command": "npx", "args": ["-y", "@brick-byte/footnote"], "env": { "PROVENANCE_ACTOR": "your-name" } } } }
Against your own database it reads from two, never one — the ERP read-only, the audit trail somewhere you own. Run footnote check first; see Connecting to an existing database.
{ "mcpServers": {
"footnote": { "command": "npx", "args": ["-y", "@brick-byte/footnote"], "env": { // Read-only role. Footnote never writes here and never migrates it. "DATABASE_URL": "postgres://footnote_ro:pass@host:5432/erp", // The append-only provenance log, deliberately a separate database. "PROVENANCE_DB": "/path/to/footnote-provenance.db", "PROVENANCE_ACTOR": "your-name" } } } }
Or run the demo UI locally:
npm install
npm run demo # http://localhost:4711 npm test # 30 tests, including the invariants below
Node 22.5+ required (uses the built-in node:sqlite, so there is no database to install).
Postgres is opt-in. The same schema, seed and query set run against it, and the same suite has to pass on both:
npm run db:up # Postgres 17 in Docker, seeded from migrations/001_init.sql
npm run test:pg # the same suite + 2 Postgres-only checks (32) npm run demo:pg # the demo, against Postgres
Language models produce plausible continuations, not true ones. Point one at a business database and it will confidently report a number that no query produced — and the fabricated figure is indistinguishable from the real one, because both come out of the same machinery.
The usual answers don't hold up here. Uncertainty signals catch the fuzzy cases, not the fluent ones. A verifier built from the same model can confirm a fabrication as easily as catch it. And in finance, inventory or procurement, "the model said so" is not an answer anyone can act on.
What does work is structural: never let the model produce the number.
question
│ ▼ model ──────────► picks an operation from a catalog and supplies typed args │ (it cannot write SQL, cannot invent an operation) ▼ contract layer ─► validates params, resolves entities against the database, │ rejects anything that does not exist ▼ deterministic ──► executes the query; SQL does all aggregation core returns values + the evidence behind each one │ ▼ provenance ─────► appends a hash-chained record, server-side, store where the model cannot influence it │ ▼ host UI ────────► fills slots from structured output and renders each claim as a clickable citation
The model handles translation and phrasing — the two things it is reliable at. Numbers come from the system of record.
These are tests, not guidelines. npm test fails if any of them breaks.
No number is generated. Values are copied verbatim from an operation's structured output into template slots. A test asserts every monetary figure in an answer is covered by a claim with evidence behind it, and that the stated total equals the sum of the records it cites.
Entities are validated before any query runs. A fabricated customer produces a recoverable error listing real alternatives — not a silent empty result the model narrates around.
Aggregation happens in SQL. The model chooses which aggregation to run, never what it equals.
Empty results are handled in code. This is the single biggest fabrication trigger: hand a model an empty result set mid-sentence and it invents something to finish the sentence. Operations set an explicit emptyReason instead.
Unroutable questions are refused. "What will revenue be next quarter?" maps to no operation, so no answer is produced. Refusal is a first-class outcome, not a failure.
Provenance is written server-side. The model never reports its own provenance. Provenance that depends on the model choosing to cite is worthless.
The log is tamper-evident. Each record carries the hash of its predecessor. npm run verify walks the chain and reports the first record that was modified after it was written.
Query ordering is a tested contract. listCustomers must return record order, because entity extraction takes the first match. Sorting it by name instead produces the failure this project exists to prevent: a fluent sentence, a real figure, correctly cited to real rows, about the wrong company. There is a test for exactly that.
The harder case is judgement. "Bergmann is at risk" is a conclusion with no row to check it against — and an ungrounded interpretation is more dangerous than an ungrounded number, because it reads as insight and survives review.
The answer here states the conclusion and then lays out each premise as a separately cited fact:
Bergmann Logistik GmbH shows two independent risk signals.
This is an interpretation — the underlying facts are:
· 43.805,00 € overdue across 4 invoices, oldest 104 days past due · 2 open support tickets, 1 high severity · agreed payment terms of 30 days, account owned by Ana Kovač
The conclusion is the model's. Every fact above is a record you can open.
A human can disagree with the reasoning while trusting the inputs.
{
"id": "…", "sequence": 1, "timestamp": "2026-08-14T09:12:04.000Z", "actor": { "id": "zoran", "role": "controller" }, "question": "How much does Bergmann owe?", "answer": "Bergmann Logistik GmbH is 43.805,00 € overdue across 4 invoices…",
// Each claim indexes a span of the answer and names its evidence. "claims": [ { "text": "43.805,00 €", "span": { "start": 25, "end": 36 }, "evidenceIds": ["invoice:8812", "invoice:8834", "invoice:8901", "invoice:8977"], "origin": "structured" // never "generated" for a value } ],
// The query, so the result is reproducible. "operations": [ { "name": "getOverdueInvoices", "arguments": { "customer": "Bergmann", "asOfDate": "2026-08-14" }, "query": { "sql": "SELECT …", "params": ["2026-08-14", 4471, "2026-08-14"] }, "durationMs": 0.42 } ],
// Field values, not just IDs — the export stands alone if the source moves on. "evidence": [ { "id": "invoice:8812", "type": "invoice", "recordId": "8812", "uri": "erp://invoice/8812", "fields": { "number": "INV-2026-8812", "due_on": "2026-05-02", "outstanding": "18.450,00 €", "days_overdue": 104 } } ],
"previousHash": "0000…", "hash": "9aa2ba…" }
origin is the field that matters. structured means the value was copied from an operation's output. generated means a model produced it — which for a number is exactly what this project exists to prevent.
The server uses the parts of the protocol that carry this work:
| Feature | Use |
|---|---|
inputSchema | The model gets a typed catalog, not a query language |
structuredContent | Values return as validated JSON beside the prose, so figures never have to survive a round trip through generated tokens |
resource_link | Every record touched comes back as an erp:// URI — the deep-link primitive behind a clickable citation |
annotations.audience | Record links are marked user-facing |
_meta | Carries the provenance record ID and hash so a host can fetch the full trace |
isError | A fabricated entity is a recoverable tool error the model can correct, not a protocol failure |
What MCP does not give you, and what this repo adds: nothing in the protocol binds *this claim* to *that evidence*. The protocol hands you links; the claim-to-evidence mapping and its rendering live in the host. That binding is the actual product.
Run standalone over stdio:
npm run mcp
The claude_desktop_config.json entry is at the top of this README.
{ "mcpServers": {
"footnote": { "command": "npx", "args": ["tsx", "--experimental-sqlite", "/path/to/footnote/src/mcp-server.ts"], "env": { "PROVENANCE_DB": "/path/to/provenance.db", "PROVENANCE_ACTOR": "your-name" } } } }
By default Footnote runs against its own throwaway sample database. Set DATABASE_URL and it switches to external mode, meant for a database it did not create — a customer's ERP.
External mode changes three things, all of them about not damaging a system that isn't ours:
customers, invoices, payments and tickets. Against a real database that would either crash on a read-only role or, worse, succeed — inserting fabricated invoices into a live finance system. FOOTNOTE_SEED=1 is the only way to opt back in, and exists for our own Docker Postgres.default_transaction_read_only=on and a statement_timeout. The catalog only ever emits SELECT, but that is a property of code someone can change; this is enforced by the server.CREATE ROLE footnote_ro LOGIN PASSWORD '…';
GRANT CONNECT ON DATABASE your_erp TO footnote_ro; GRANT USAGE ON SCHEMA public TO footnote_ro; GRANT SELECT ON ALL TABLES IN SCHEMA public TO footnote_ro;
-- Postgres 15+ already revokes this from PUBLIC; older versions do not. REVOKE CREATE ON SCHEMA public FROM footnote_ro, PUBLIC;
-- So tables added later are readable too, without re-granting by hand. ALTER DEFAULT PRIVILEGES IN SCHEMA public GRANT SELECT ON TABLES TO footnote_ro;
| Variable | Default | Purpose |
|---|---|---|
DATABASE_URL | unset | The ERP. Setting it enables external mode. Unset means demo mode. |
PROVENANCE_DATABASE_URL | unset | Postgres for the provenance log. Never falls back to DATABASE_URL. |
PROVENANCE_DB | ./footnote-provenance.db in external mode, :memory: in demo | SQLite path for the provenance log, when PROVENANCE_DATABASE_URL is unset. |
FOOTNOTE_SEED | unset | 1 applies the demo schema and seed. Never set this against a customer database. It also makes the ERP connection writable, because seeding writes. |
FOOTNOTE_STATEMENT_TIMEOUT_MS | 5000 | Statement timeout on the ERP connection. |
PROVENANCE_ACTOR / PROVENANCE_ROLE | mcp-client / unknown | Identity recorded against each provenance record. |
DATABASE_URL=postgres://footnote_ro:…@host:5432/erp npm run check
or, from the installed package, footnote check. It reports t
只显示了开头部分;其余内容请在仓库中阅读