ProveKit MCP — red-team-hardened MCP server

wiki/ai/sources/provekit-mcp-redteam-hardened-mcp-server.md

分类：ai / sources · 更新：2026-08-10 09:04

ProveKit MCP — red-team-hardened MCP server

深度判断

评分：relevance 5 / novelty 4 / durability 5 / actionability 5 / source-quality 4 / depth-potential 5。
为什么值得深挖：它补齐了“工具自身不能被 agent 反过来攻击”的实践模板，适合迁移到 Hermes plugin/skill/MCP server admission。
关系页面：Harness-Engineering · External-Agent-Skills-Design-Patterns。

核心摘要

ProveKit MCP 把 MCP server 当作 hostile-caller surface：scan_code 完全不碰文件系统，scan_path 必须经过 workspace confinement，并用真实 MCP 子进程 red-team suite 验证 traversal、symlink、ReDoS、资源耗尽和参数即代码注入。

机制 / 一阶原理

每个参数都假设 attacker-controlled；路径经 safe_resolve 与 SDK ResourceSecurity 双层约束，输入大小和 regex 复杂度有界，拒绝路径只返回结构化错误；red-team 通过协议打真实 server，不把冷启动/挂起记为 secure。

对 Hermes / llm-wiki / agentic workflow 的启发

为 Hermes 新工具建立 admission checklist：无文件访问优先、workspace root confinement、resource bounds、live-protocol red-team、BREACH/REGRESSION/INCONCLUSIVE 三类都进门禁。

失败模式与边界条件

它是窄工具 server，不证明任意 MCP 生态安全；scanner 规则覆盖有限，且 red-team 样本需要持续扩充以防遗漏新型协议/资源攻击。

关联

上游来源：Th3Circle-app/provekit-mcp。
相关概念：Harness-Engineering · External-Agent-Skills-Design-Patterns。

写入记录

2026-08-10 09:00 CST：AI 雷达深度入库，保存 GitHub README raw，并提炼机制、实践启发、失败模式与相关概念链接。