Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Human oversight for AI agents: block a tool call on a verified human, with on-chain proof.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
PROCTOR_API, HEDERA_AGENT_ID, HEDERA_AGENT_KEY, AGENT_ALLOWED_TOKENS标为机密的值是你账户的钥匙。千万不要分享给别人,也不要粘贴到聊天里。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
打开 Claude Desktop → Settings → Developer → Edit Config,把下面的内容粘贴到 claude_desktop_config.json
{
"mcpServers": {
"proctor": {
"command": "npx",
"args": [
"-y",
"proctor-mcp"
],
"env": {
"PROCTOR_API": "your-value",
"HEDERA_AGENT_ID": "your-value",
"HEDERA_AGENT_KEY": "your-value",
"AGENT_ALLOWED_TOKENS": "your-value"
}
}
}
}在终端中运行这条命令
claude mcp add proctor --env PROCTOR_API=your-value --env HEDERA_AGENT_ID=your-value --env HEDERA_AGENT_KEY=your-value --env AGENT_ALLOWED_TOKENS=your-value -- npx -y proctor-mcp运行前请先填写空着的值。
粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"proctor": {
"command": "npx",
"args": [
"-y",
"proctor-mcp"
],
"env": {
"PROCTOR_API": "your-value",
"HEDERA_AGENT_ID": "your-value",
"HEDERA_AGENT_KEY": "your-value",
"AGENT_ALLOWED_TOKENS": "your-value"
}
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"proctor": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"proctor-mcp"
],
"env": {
"PROCTOR_API": "your-value",
"HEDERA_AGENT_ID": "your-value",
"HEDERA_AGENT_KEY": "your-value",
"AGENT_ALLOWED_TOKENS": "your-value"
}
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
这个服务器在你的电脑上运行,而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。
你的选择通过 Cookie 保存在这台设备上,无需账户。
PROCTOR_API envHEDERA_AGENT_ID envAGENT_ALLOWED_TOKENS env这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日
注册名称已通过 GitHub 账户 louissarvin 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
它在你的电脑上运行,没有互联网端点
在你的电脑上运行,改用本地设置
它在你的电脑上运行;我们只能读取互联网端点的工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
你需要填写:HEDERA_AGENT_KEY
它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。
GitHub 仓库最后更新于–,最新版本(1.0.0)于2个月前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Node.js。
同一分类中有:Spec Driven Development, Remote Desktop Commander, Agent Data Tools: Utilities
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ 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.
103 tools: JSON repair, CSV, hashes, cron, dates, units, validators. 25 free calls.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
The human-in-the-loop that MCP's specification asks for and does not provide.
The MCP tools spec says, verbatim:
"For trust & safety and security, there SHOULD always be a human in the loop with the
ability to deny tool invocations."
Applications SHOULD ... "Present confirmation prompts to the user for operations, to
ensure a human is in the loop."
It then defines no mechanism for it. Every client builds its own confirmation dialog, locally, and nothing survives the click. Three questions an auditor asks after an incident have no answer:
| Question | What a local dialog can show |
|---|---|
| Was a human actually there? | Nothing. A dialog proves a click, not a person |
| Was it someone other than the agent's operator? | Nothing |
| Can you prove it to someone who does not trust you? | Nothing |
Meanwhile the direction of travel for paid MCP tools is explicitly the other way. Vercel's x402-mcp pitch is *"no account, no API key, no human in the loop"*. That is correct for a weather API and wrong for a wire transfer.
This server is the missing mechanism.
One tool: `request_human_approval`.
It blocks the agent on a real person who is not the operator, fails closed on a deadline, and returns a citation on a Hedera topic with no admin key — so the decision can be proven to a third party later, without trusting the agent or us.
below threshold → Proceed. Policy did not require a human (below_threshold).
above threshold → blocks, hands a link to a phone, waits approved → Approved by a verified human. HCS sequence #41. You may proceed. refused / expired → NOT approved (EXPIRE). Do not proceed.
Most calls never reach a human. An oversight tool that interrupts everything is one the agent's owner switches off, so policy runs first and the common path is free.
Published on npm as proctor-mcp and listed in the MCP Registry as io.github.louissarvin/proctor.
// Claude Desktop: claude_desktop_config.json
{ "mcpServers": { "proctor": { "command": "npx", "args": ["-y", "proctor-mcp"], "env": { "PROCTOR_API": "http://localhost:3700" } } } }
Nothing to clone and nothing to build. Point PROCTOR_API at a Proctor instance; the default is http://localhost:3700.
Verify it without a client:
printf '%s\n%s\n' \
'{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}' \ '{"jsonrpc":"2.0","id":2,"method":"tools/list"}' \ | npx -y proctor-mcp
Works with any MCP client — Claude Desktop, Cursor, or your own. Transport is JSON-RPC 2.0 over stdio, protocol version 2025-06-18.
Verify it without a client:
printf '%s\n%s\n' \
'{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}' \ '{"jsonrpc":"2.0","id":2,"method":"tools/list"}' \ | bun src/index.ts
A refusal is not a tool error. It returns isError: false with approved: false. Marking a refusal as an error invites a model to treat it as a transient fault and retry around it, which is precisely the behaviour this tool exists to prevent.
Unreachable is not refused. If Proctor is down the tool says so explicitly and marks isError: true. *"The gate is down"* and *"a human said no"* are different facts, and collapsing them means an outage silently becomes a rejection — or worse, gets retried until it isn't.
No dependencies on the oversight path. JSON-RPC over stdio is a loop, and adding an SDK to a security tool is how it acquires a supply chain. The x402 client is imported lazily and only when a wallet is configured, so pointing this at a hosted Proctor to ask a human a question never loads a Hedera SDK.
Set a wallet and the tool stops simulating and starts paying:
"env": {
"PROCTOR_API": "http://localhost:3700", "HEDERA_AGENT_ID": "0.0.xxxxx", "HEDERA_AGENT_KEY": "302e…", "AGENT_ALLOWED_TOKENS": "0.0.10394781" }
It then hits the real x402 gate and settles through the Blocky402 facilitator. A verified run:
[proctor] paid the gate; a witness is being dispatched from the rota
structuredContent: { "approved": false, "outcome": "EXPIRE", "paid": true }
and the corresponding settlement on Hedera testnet:
0.0.10359475 -420000 the agent pays
0.0.10349677 +415800 treasury 0.0.10349667 +4200 1% HTS custom fee, assessed on chain fee payer 0.0.7162784 Blocky402
Policy runs first, and it is free. POST /v1/gate/evaluate decides whether a human is needed before any payment is made. An oversight tool that charges on every invocation is one the agent's owner switches off within a day.
Paid mode returns no witness link, on purpose. The gate never hands the approval URL back to the payer — an agent that could reach it could approve its own decision, which is the single property this product sells. The human is reached through the operator's rota instead. Unpaid operator mode does return a link, because there the caller *is* the operator.
Without a wallet the tool falls back to Proctor's operator endpoint, which opens a real decision but settles nothing, and says so in its own output (paid: false).
The evidence citation may read attestation pending when a decision resolves faster than consensus. The record lands afterwards, off the agent's critical path, and the sequence number is durable in the decision's own record.
Only the Hedera rail is wired here. The gate advertises Arc through Circle's Gateway too, and agent/ demonstrates it; the MCP client registers the Hedera scheme only.