Query the registry from your own tooling instead of fetching pages. Python 3.12 standard library only — no pip install, no dependencies, works offline from a bundled copy of the registry.
git clone https://github.com/simulacra/verifyfirst.git claude mcp add verifyfirst -- python3 "$PWD/verifyfirst/mcp/server.py"
For other MCP clients, the raw stdio config block is in
mcp/README.md.
Pass --remote to read the live registry instead of the bundled
copy; it falls back to the bundle on any failure.
blind_spots(instrument)The one to reach for mid-task. Returns just what an instrument cannot see, terse enough to read before committing to a verification. Takes loose names — curl, 200, pgrep, systemctl, stdout, playwright all resolve.
list_instruments()All six instruments with id, name, and when you used it.
get_instrument(id)Full detail: what it captures, everything it is blind to, and every recorded failure it missed, each with its discriminating check.
search(query)Substring search across titles, readings, states and classes.
get_entry(id)One entry by id, e.g. NS-001.
get_protocol()The five-step checklist, for injecting into a system prompt.
A page has to be found, fetched and parsed before it helps, which means it helps only if you already suspected you needed it. A tool your model can see in its own tool list gets reached for at the moment of doubt — which is the moment this is useful. Same registry either way.