Skip to content
Proving Lab logo

Proving Lab MCP server

Which MCP servers are Proving Lab's own, from the official registry and from asking its own domain, whether they answer, and what they offer. A program checked each of these, nobody copied them from a product page.

read 2026-10-26

← Back to Proving Lab

Whose server it is
  • Registry namedev.provinglab/browser-citation-captureverified in the MCP registry

The registry name sits under provinglab.dev. The registry only lets a publisher use that namespace after proving control of the domain through DNS or HTTP.

When we asked itchecked 2026-10-26
  • Stateanswerschecked 2026-10-26
  • Tools10
  • Server calls itselfprovinglab
  • Server version1.25.0
  • Protocol version2025-06-18

On 2026-10-26 the server answered initialize and tools/list without a sign-in. First answer in 18 ms.

Should an agent connect itNot proven either way yet
  • Its tools do every use case we checked: convert a list of URLs into bibliography entries; pull citation records for sources from a reading list.
  • Checked on 2 of the 7 days it takes to judge reliability.

Once connected

  • For "convert a list of URLs into bibliography entries", the likely first call is extract_citations.
  • For "pull citation records for sources from a reading list", the likely first call is extract_citations.

Said by rules from the measurements above. The likely first call is a model's pick from the tool list; read its description before relying on it.

Measured dailydaily checks: 2, the first on 2026-10-26
  • INITE MCP scoreafter a weeka score needs 7 daily checks: 2 so far
  • What an agent can do with it2 of 2 use cases
  • Answeredmeasuring2 of the 7 daily checks it takes to print a share
  • Median first answer196 ms
  • Space in an agent's context≈ 1,848 tokensthe definitions of all its tools (10), which an agent carries on every turn
  • Tool definitionsB · 82 of 100
  • Typed results0 of 10 toolsdeclared outputSchema: results come typed, read once
  • Parameters without a description: in 1 of 10
  • Not saying whether it only reads or can destroy: 10 of 10

What an agent can do with it

  • not sure · keep a webpage as one PDF with its origin and date
  • can do · convert a list of URLs into bibliography entries
  • can do · pull citation records for sources from a reading list

Each of the product's use cases, put to Jev against this server's tool list: can an agent do it with these tools?

Worth a look

None of the five warning signs in these definitions.

A program checks the server once a day: initialize and tools/list, no model. Tokens are the definitions' length at about four characters a token. The grade averages six checks of every tool's name, description, schema and annotations; it says how well the tools are described, not whether they work. The score weighs what was measured and nothing else: answering (25%), doing the product's job (25%), definitions (20%), context (10%), use (10%) and how readily a client connects (10%). A part that was not measured is left out, and a hidden instruction caps the score at 40. The state of vendors' MCP servers: method and numbers →

Tools it offers10 tools · read 2026-10-26
  • list_measurements

    Use when a claim about browser tools, capture quality, OCR recall or citation extraction needs a number behind it — or when you want to check one of ours. Every entry carries raw data, method and a control run, so a figure taken from here…

  • get_measurement_data

    Use before quoting a figure: this returns what stands behind it — the values, the control run, and the conditions that limit them. Cite the dataset rather than the article; it is the part that does not change when someone edits a page.

  • get_method

    Fetch a reproducible method: reading a browser extension's permissions, measuring OCR recall with a control run, or choosing between print-to-PDF and screen capture. Omit the argument to list them.

  • extract_citation

    Read the citation details a web page declares about itself and return them as a structured record plus ready-to-import RIS and BibTeX. Covers journal articles, book chapters, conference papers, preprints, theses, reports, datasets, videos…

  • extract_citations

    Use when you have a reading list rather than one source — a bibliography to build, a set of links to verify before submitting, an archive to describe. Measured on 20 mixed sources: 10 became complete records in 8.1 s, 0.4 s each; the…

  • recommend_settings

    The capture settings that fit a given purpose, each with the measurement behind it or an explicit note that none exists. Pass purpose as citation, figure, archive or ocr. Use before capturing: the file that comes out is between 8.5 % and…

  • how_to_capture

    Get the runnable route for saving a web page that this endpoint cannot read — the sources it hands back. Returns install links for Firefox and Chromium browsers, what to tell a person who has to click once, and, for agents that drive…

  • install_extension

    Install or uninstall the capture extension in Firefox or Chrome without a window, without a click and without administrator rights. Returns one runnable script — download it, run it, it verifies itself against the profile on disk and…

  • adoption_stats

    How much this endpoint and its install route are actually used, with the figures behind it: requests to /mcp, which discovery paths get read, the store version and its user count. Call this when deciding whether to rely on this server…

  • open_work

    List what this project needs done, with enough context to start. Returns open GitHub issues with their labels, plus where the contribution rules live. Call this when asked to contribute to provinglab.dev or Full Page PDF Snap, or when…

How to connect

Add the server to your MCP client config. Claude Desktop, Cursor and most other clients read this shape:

{
  "mcpServers": {
    "browser-citation-capture": {
      "type": "http",
      "url": "https://provinglab.dev/mcp"
    }
  }
}

Add it

Claude Code, in a terminal

claude mcp add --transport http provinglab https://provinglab.dev/mcp

Add to CursorAdd to VS Code

claude.ai, ChatGPT and other clients: add https://provinglab.dev/mcp as a custom connector in the settings.

Each line is something a program found when it went looking: the registry entry, the server's own answer, a spec that parses. A missing line means we did not find it, not that it does not exist.