Skip to main content
Glama
deenesjakoruzh
hemv-857

Probe Server

by hemv-857
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Local

MCP Vetter Agent

一个用于 AI 工具的安全审计器。 一个运行在 TrueForge 上的代理，在将第三方 MCP 服务器连接到你的代理之前，先对其进行安全漏洞审查——然后在提交公开安全报告之前暂停并询问人类。

TrueForge 将代理连接到任何 MCP 服务器。社区服务器以 gist、模板和副项目的形式共享——带有硬编码密钥、对工具参数的 eval() 调用，以及没有认证边界。代理不知道要怀疑。这个代理就是那个多疑的。

工作原理

User: "audit https://github.com/someone/some-mcp-server"
  └─ TrueForge agent (mcp-vetter)
       ├─ clone_target          ── shallow-clones the GitHub URL onto the probe host
       ├─ read_target_manifest   ── declared tools & permission boundaries
       ├─ subagent: static_audit ── AST rules + Semgrep (SENT-001..007)
       ├─ subagent: full_audit   ── GPT review + Docker probes (SENT-008..011)
       ├─ Synthesizes verdict (HIGH/MEDIUM/LOW, OWASP Agentic Top 10 mapped)
       └─ ⏸ PAUSES before filing the GitHub security issue → human approves → files

  • 探测在隔离环境中运行：Sentinel 的动态探测在一次性 Docker 容器中执行目标服务器。

  • 审批门是原生 TrueForge HITL：创建 issue 是写入/破坏性操作，因此 harness 会暂停等待 Allow/Deny。

  • 会话在重连后仍然存活：审计中途刷新；代理继续工作。

Related MCP server: mcp-security-scanner

快速开始

# 1. Probe server (the security scanning engine)
python3 -m venv .venv && source .venv/bin/activate
pip install -r requirements.txt
uvicorn probe_server.server:mcp_app --host 127.0.0.1 --port 8000   # serves /mcp

# 2. TrueForge (separate terminal; needs Node 22+)
npx @truefoundry/trueforge@latest                                   # UI at http://localhost:8790

# 3. In the TrueForge UI:
#    Settings → Models      : configure a provider (API key)
#    Settings → Connectors  : Add MCP Server → http://127.0.0.1:8000/mcp
#                             (+ GitHub connector from the catalog, OAuth)
#    Settings → Sandbox     : optional (skills/code mode); cloning runs on the probe host
#    Create agent           : import deploy/agent-manifest.json via API, or compose in UI

# 4. Chat: "audit ./fixtures/vulnerable_server"

先针对捆绑的 fixtures 进行尝试：

Fixture

预期

fixtures/vulnerable_server

高风险——eval() 计算器、无限制文件读取器、被投毒的提示词

fixtures/clean_server

干净报告

仓库布局

probe_server/    MCP server exposing the scanning engine as agent tools
fixtures/        Vulnerable + hardened reference MCP servers (from Sentinel, MIT)
deploy/          TrueForge agent manifest (agent spec via API)
docs/            PRD, architecture, week plan, setup guide

Qodo 代码审查证据

本仓库中的每一项实质性变更在合并前都经过了 Qodo 的拉取请求审查——从黑客马拉松的第一天开始。

具有代表性的已审查 PR： #1 — feat: probe server, fixtures, tests, TrueForge agent spec

Qodo 发现了什么以及我们如何处理（完整记录可见于该 PR）：

轮次

发现

结果

初始审查

2 高，5 中

已修复：添加了 clone_target 工具，使 GitHub 目标在探测主机上物化，而不是在不可达的沙箱路径中（高）；在 manifest 读取中加强符号链接和包含限制，以在审计恶意仓库时阻止主机文件泄露（高）；扫描超时时进行进程组终止和回收；在每个边界使用结构化错误字典；异步 Docker 预检；扫描器依赖固定到不可变提交

修复后的复审

3 高，1 中

已修复：没有 .git 的标准 GitHub URL 被错误拒绝；克隆超时留下孤立的 git 进程；私有网络（SSRF）目标被拒绝；过期的临时克隆在事件循环之外清理

第三轮

3 中

已修复：格式错误的 URL 返回错误字典而不是抛出异常；取消操作回收克隆进程树；所有清理工作移出事件循环

最终轮

0 发现

干净

有一项发现被驳回并记录了原因： 干净 fixture 的零值完整性摘要（PR 上的评论）——它在上游以 MIT 许可证的引擎中就是这样发布的，而且涉及的代码路径从未被我们的工具使用，因此我们保持 fixtures 与上游一致，而不是分叉它们。

PR 历史显示了每次审查、针对其发现的提交，以及确认最终代码已解决的后续审查。

演示

致谢

为 The Agent Harness Hackathon（WeMakeDevs × TrueFoundry，2026 年 8 月）而构建。参见 fixtures/LICENSE 了解捆绑参考代码的许可。

This server cannot be deployed

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Maintenance

ActivityMaintained
ResponsivenessNo issues

Resources

Related MCP Connectors

Related MCP Servers

  • mcp-security-scanner

    badchars
    A
    license
    A
    quality
    C
    maintenance
    Security scanning for MCP servers from the inside out. Provides runtime inspection, AST-based static analysis, config audit, dependency analysis, and OWASP MCP Top 10 compliance in a single MCP server.
    55
    126 npm
    6
    MIT

  • MCPSentinel

    gentaArnezzi
    A
    license
    A
    quality
    A
    maintenance
    Security scanner for MCP servers that detects tool poisoning, shadowing, and other risks via static rules and semantic analysis. Exposes the scan_mcp_server tool for scanning MCP servers over stdio.
    1
    55 PyPI
    1
    MIT