Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Authorizes MCP tool calls against a session policy, not one call at a time.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
打开 Claude Desktop → Settings → Developer → Edit Config,把下面的内容粘贴到 claude_desktop_config.json
{
"mcpServers": {
"clayseal": {
"command": "uvx",
"args": [
"clayseal"
]
}
}
}在终端中运行这条命令
claude mcp add clayseal -- uvx clayseal粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"clayseal": {
"command": "uvx",
"args": [
"clayseal"
]
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"clayseal": {
"type": "stdio",
"command": "uvx",
"args": [
"clayseal"
]
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
这个服务器在你的电脑上运行,而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。
你的选择通过 Cookie 保存在这台设备上,无需账户。
这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月6日
注册名称已通过 GitHub 账户 clayseal 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
它在你的电脑上运行,没有互联网端点
在你的电脑上运行,改用本地设置
它在你的电脑上运行;我们只能读取互联网端点的工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。
它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。
GitHub 仓库最后更新于–,最新版本(0.6.2)于2个月前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Python (uv)。
同一分类中有:Spec Driven Development, Remote Desktop Commander, zanadir
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ 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.
Find what a repository's CI is missing, and which security checks cannot fail the build.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
Incorporating business-process-logic constraints into AI systems.
Your agent has a $1,000 refund ceiling. It issues eleven refunds of $900. Every call is inside the per-refund limit, so every per-call check passes, and $9,900 goes out the door. Nothing that looks at one call at a time can see this.
Clay Seal sits in front of your tools and judges each call against the whole session: the grant, the running totals, where the arguments came from, and what the agent has already done.
| Start here | install and watch it stop two attacks |
| Use it in two lines | wrap tools you already have |
| In front of an MCP server | no code change |
| Write the policy | the grant an operator seals |
| How it works | the six layers, in the order they run |
| What it measures | the numbers, and what they are not |
| Where the boundary is | what this does not do |
| Documentation | docs/START.md first, then docs/ |
| Build from source | and run the tests |
Working on the code? docs/INTEGRATION.md names which modules the shipped gateway actually executes, which is the fastest way to tell the live path from the parts that are not wired in. The decision itself is SessionBroker._authorize_locked in clayseal/capabilities/broker.py; most refusals come from _floor in the same file.
If you are a coding agent, skip to the deploy runbook.
pip install clayseal
clayseal try
clayseal try takes about a minute. It runs two attacks in front of you and shows the gateway stopping them. There is nothing to configure, no key to get and nothing leaves your machine.
Every verdict there is decided live by the same gateway you would deploy. The picture is generated from a real run by python scripts/render_try_svg.py, and a test fails if it drifts from what the command prints, so it cannot become a screenshot of something that used to work.
Python 3.10 to 3.14. Two dependencies, cryptography and pyyaml.
On names. The directory is
agentauth-capabilities, the package is
clayseal, and the import isclayseal.capabilities. The project was renamed
at 0.6;
agentauthstill imports as a deprecation shim. See
Naming at the end for the detail.
Do this in the project you are editing, in order:
clayseal try --fast
clayseal howto clayseal policy new > policy.yaml
clayseal policy lint policy.yaml clayseal skill --write
Python functions: Guardrail.from_policy_file("policy.yaml").wrap_all({...}) and bind the wrappers. Keys must match tools.allow. Construct one Guardrail per session (a new one resets ceilings). Catch Refused (budget / not granted) and StepUpRequired (held — typical for off-list email). Non-file tools go in paths.pathless.
Already an MCP server (Claude Desktop / Cursor): clayseal proxy, not clayseal serve. Do not point proxy at a plain .py file. clayseal howto is the runbook.
Wrap the tools you already have. Nothing else about your agent changes.
from clayseal.capabilities import Guardrail, Refused, StepUpRequired
def list_open_refunds(): return [{"invoice": "INV-001", "amount": 900.0}, {"invoice": "INV-002", "amount": 900.0}]
def issue_refund(invoice, amount): return f"refunded {invoice} ${amount:.2f}"
guard = Guardrail.from_dict({ "version": 1, "goal": {"id": "refund-run", "summary": "Refund the invoices the customer disputed."}, "expires_at": "2030-01-01T00:00:00Z", "tools": {"allow": ["list_open_refunds", "issue_refund"], "harmless": ["list_open_refunds"], "effects": {"list_open_refunds": "read", "issue_refund": "transfer"}}, "paths": {"pathless": ["list_open_refunds", "issue_refund"]}, "budgets": {"value": {"ceilings": {"refunds": "1000.00"}, "tracked": {"issue_refund": {"arg": "amount", "budget": "refunds"}}}}, }) tools = guard.wrap_all({"list_open_refunds": list_open_refunds, "issue_refund": issue_refund})
for row in tools"list_open_refunds": try: print(tools["issue_refund"](invoice=row["invoice"], amount=row["amount"])) except Refused as exc: print("refused:", exc.reasons) # hand the reason back to the agent except StepUpRequired as exc: print("needs a human:", exc.reasons)
The first refund goes through. The second is refused, because the $1,000 session ceiling is already spent. Neither call reached your function.
The policy is inline here so you can paste the whole thing into a file and run it. In a real deployment it lives in its own YAML, where a security team can review it and a pull request can gate it. clayseal policy new > policy.yaml writes a commented one to start from, and Guardrail.from_policy_file loads it.
The wrappers keep the name, docstring and signature of your originals, so any framework that introspects them sees the tool it saw before. That covers LangGraph, the OpenAI Agents SDK, CrewAI and hand-written loops. Call the wrappers the same way you called the originals, positionally or by name.
No code change at all. The gateway speaks MCP, so it sits between your agent and the server:
clayseal proxy --policy policy.yaml -- npx @your-org/mcp-server
Or paste this into Claude Desktop's MCP config, Cursor's MCP settings, or .cursor/mcp.json. The agent talks to Clay Seal; Clay Seal talks to the server:
{
"mcpServers": { "billing": { "command": "clayseal", "args": ["proxy", "--policy", "policy.yaml", "--", "npx", "@your-org/mcp-server"] } } }
Tools the policy does not grant are removed from the catalogue, so the agent is never told they exist.
This is a whole policy. It lints clean.
version: 1
goal: id: refund-run summary: Refund the invoices the customer disputed.
expires_at: 2027-12-31T00:00:00Z
tools: allow: [list_open_refunds, issue_refund] harmless: [list_open_refunds] # a read spends nothing effects: {list_open_refunds: read, issue_refund: transfer}
paths: pathless: [list_open_refunds, issue_refund] # these act on invoices, not files
egress: domains: [acme.example] recipients: [ops@acme.example] # a domain alone is every mailbox bind_recipients: true
budgets: value: ceilings: {refunds: "1000.00"} # dollars, for the whole session tracked: issue_refund: {arg: amount, budget: refunds}
Run clayseal policy lint policy.yaml before you ship. It catches the mistake that matters most: a tool that can spend money but debits no budget. On the file above it reports no errors and one warning (the ceiling is per session unless you bind a principal), which names a real decision you have not made yet.
Full reference: docs/POLICY.md.
From a checkout. examples/ has seven, each runnable with no key and no network:
python examples/02_the_proxy.py
tools advertised to the agent: list_open_refunds, issue_refund
(the server offers wire_funds; the policy does not grant it, so the agent is never told it exists)
ok issue_refund INV-001 paid INV-001 $900.00 DENY issue_refund INV-002 refused by policy: value_budget_exceeded ... DENY issue_refund INV-011 refused by policy: value_budget_exceeded DENY wire_funds ops-float refused by policy: tool 'wire_funds' is not in this session's policy
the server executed 2 call(s): list_open_refunds {} issue_refund {"amount": 900.0, "invoice": "INV-001"}
clayseal proxy: 2 allowed, 11 denied, 0 held for approval; withheld from the catalog: wire_funds
Read the last block. A JSON-RPC error proves the agent was told no; the server's own ledger proves the refund did not happen, and those are different claims. The same run on the command line, which is the deployment shape a deployment actually uses:
clayseal proxy --policy examples/refund.yaml -- python examples/refund_server.py
You give the gateway a policy file and a goal for the session. It seals the goal at the start, so nothing the agent reads later can widen what was approved. Every tool call then goes through one decision point before it runs.
flowchart LR
P["policy.yaml reviewed and diffed like any other file"] A["your agent"] G{{"Clay Seal"}} T["your tools or MCP server"] H["a person"] X["never runs"] S[("session state: running totals, where arguments came from")]
A -- "tool call" --> G P -. "sealed at session start" .-> G G -- "allow" --> T G -- "step up" --> H G -- "deny" --> X H -- "yes, once, for these arguments" --> T T -- "result" --> S S -. "the next call is judged against all of this" .-> G
That loop at the bottom is the whole idea. The gateway does not just check a call, it checks a call against everything the session has already done.
A call gets one of three answers:
Step-up exists because a wrong refusal is expensive. An autonomous attacker is stopped just as hard by a call that waits for approval as by one that is refused, and a legitimate agent is not stopped permanently. Denial is reserved for cases with positive evidence of a problem.
The checks that produce those answers run in a fixed order, cheapest and strictest first, so a call refused early never reaches the expensive layers.
只显示了开头部分;其余内容请在仓库中阅读