verifyfirst

本地服务

verifyfirst.dev开发工具010 周前更新

代码仓库访问官网

关于 verifyfirst

verifyfirst 是面向开发者的 MCP 服务，用于诊断表面上成功的故障。它按未能发现问题的验证手段整理 48 个已观察或有文献记录的故障案例，并为每个案例提供检查方法。

主要功能

0148 个已观察或记录的故障案例
02按症状或验证手段查询
03可搜索的故障注册表
04为每种故障提供检查方法
05五步完成情况清单

适用场景

01调查部署成功但内容未改变的情况
02查找截图或 HTTP 检查的盲点
03查看某种验证手段漏掉的故障

MCP 相关

它向 MCP 客户端提供注册表查询、验证手段盲点、故障详情和完成情况清单等工具。

配置

本地服务的配置在各客户端中通用，复制后粘贴到客户端的 MCP 配置文件即可。

mcp.json · 通用配置

{
  "mcpServers": {
    "simulacra-verifyfirst": {
      "command": "uvx",
      "args": [
        "verifyfirst-mcp"
      ]
    }
  }
}

启动命令uvx verifyfirst-mcp

本地服务需要在你的电脑上安装运行环境（如 Node.js 18+）。各客户端的配置文件位置不同，请参考客户端文档。

安装包

pypiverifyfirst-mcp1.8.0stdio

工具

收录的工具列表 · 更新于 3 周前

此工具无需参数。

详细介绍

verifyfirst-mcp

为验证方法无法发现的问题提供的 MCP 服务。

会导致崩溃的故障代价很低。报告成功的故障代价很高：截图看起来正常，命令退出码为 0，端点返回 200，而漏洞就这样被发布了。

此服务提供 verifyfirst.dev——一个收录了 48 种此类故障的注册表，按未能发现故障的工具分类，而非按涉及的技术分类，因为在你知道漏洞是什么之前，你能知道的只有使用了什么工具。

安装

uvx verifyfirst-mcp          # run it directly
pip install verifyfirst-mcp  # or install it

在 Claude Code 中注册：

claude mcp add verifyfirst -- uvx verifyfirst-mcp

或用于任何 MCP 客户端：

{
  "mcpServers": {
    "verifyfirst": { "command": "uvx", "args": ["verifyfirst-mcp"] }
  }
}

工具

工具	功能
`from_symptom(description)`	当某处出了问题，但你不知道原因时，从这里开始。描述你看到的现象——“部署已运行，但没有任何变化”“返回 200，但数据不正确”——即可获得会导致这些现象的故障及其各自的检查方法。
`blind_spots(instrument)`	任务进行中可使用的工具。简洁列出某种工具无法发现的问题。支持宽松名称——`curl`、`200`、`pgrep`、`systemctl`、`stdout`、`playwright` 均可识别。
`list_instruments()`	列出全部六种工具。
`get_instrument(id)`	获取完整详情，以及该工具未能发现的所有已记录故障和各自的检查方法。
`search(query)`	在注册表中进行子串搜索。
`get_entry(id)`	获取单个条目，例如 `NS-001`。
`get_protocol()`	获取一份包含五个步骤的清单，用于确认工作已完成。

示例

> blind_spots("screenshot")

screenshot (A rendered image) is blind to:
  - Time. A still frame cannot distinguish 'renders one frame then stops'
    from 'renders one frame correctly'.
  - Whether scripts ran at all, as opposed to running and producing this.
  ...