开源 bastyn 静态扫描 MCP 与编码 agent 配置安全隐患
claudio-rootedlogic · reddit · 2026-11-14
作者开源了 bastyn（Apache-2.0），一个不使用 LLM、纯静态确定性扫描工具，用于检查 MCP 配置、编码 agent 指令与 skills、源码、Docker/Compose 文件和依赖：
- 可检出：未固定版本的 npx 包启动的 MCP 服务器、autoApprove 通配符与明文凭据、Docker socket 挂载、明文 HTTP、OSV 已知依赖漏洞。
- 检查 MCP 工具描述（Python docstring 或 --inspect-remote 拉取远程工具列表）中的隐藏指令覆盖文本，以及 skill 文本中「下载并执行代码」类指令。
- 设计目标是低误报：代码里无证据的缺陷（缺失的鉴权检查等）只作为「观察项」列出，不会导致构建失败；报告可映射到 EU AI Act 与 NIST 相关条目。
- 支持 brew install bastyn-labs/tap/bastyn、cargo 安装、GitHub Action、SARIF 输出与 --fail-on 构建门禁，还提供 npx skills add 一键装进编码 agent。
- 局限：alpha 阶段、非运行时防护，数据流跟踪仅支持 Python 单文件，TS/JS 发现多为观察项；默认开启匿名遥测可用 --offline 关闭。
「编程与Agent」频道最新
- FastMCP 4.2 发布：通过 MCP 服务器直接分发 Agent Skills — jlowin123 · 2026-11-14
- 开发者逆向 Waymo 私有 API 打造 MCP，可让 Claude 直接帮你叫无人车 — MicahBerkley · 2026-11-14
- 开发者回应 Agent 体验差：把任务列表做成 feed 加决策按钮 — _rchaves_ · 2026-11-14
- 开发者用 8 台树莓派加旧 MacBook 替代智能手机，全靠 OpenAI Dot 语音指挥 — OpenAIDevs · 2026-11-14
- Garry Tan 开源 idea-miner 技能:每天早晨让 AI 帮你排出该做什么 — garrytan · 2026-11-14
- LLMLean 回归：在本地或云端用 LLM 辅助 Lean 证明 — wellecks · 2026-11-14