verifyfirst

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()	6 種類すべての計測器を表示します。
get_instrument(id)	詳細と、その計測器が見逃した、記録済みのすべての障害および各確認方法を表示します。
search(query)	レジストリ内を部分一致で検索します。
get_entry(id)	NS-001 のように、1 件のエントリを表示します。
get_protocol()	作業が完了したと判断するための、5 ステップのチェックリストを表示します。

例

> 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.
  ...

注記

依存関係はありません。Python 標準ライブラリのみを使用します。バンドルされたレジストリのコピーを使ってオフラインで動作します。--remote を指定すると、最新のレジストリを読み込みます。失敗した場合は、バンドル版にフォールバックします。

レジストリの各エントリは、実際に発生する障害です。実体験に基づいて診断されたものは observed、一次資料が引用され、確認方法が再現されたものは documented として示されています。仮説上のものはありません。

CC0-1.0 — パブリックドメイン。メンテナンス： Zion Labs。