Proving Lab is a remote MCP server that gives an AI agent 10 tools, among them adoption_stats, extract_citation, extract_citations. It answers at https://provinglab.dev/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 10 September 2026; the last check, on 19 October 2026, succeeded.
Cite or capture a web page; installs the capture extension in Firefox and Chrome.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
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, when |
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 a Inputs: url |
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 other Inputs: urls |
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. Inputs: dataset |
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. Inputs: name |
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 their Inputs: agent, browser |
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 exits Inputs: action, browser |
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 c |
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 looki Inputs: label |
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 10 Inputs: purpose |
Every block below points at https://provinglab.dev/mcp. Pick your client and copy.
claude mcp add --transport http proving-lab https://provinglab.dev/mcp
{
"mcpServers": {
"proving-lab": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://provinglab.dev/mcp"]
}
}
}{
"mcpServers": {
"proving-lab": {
"url": "https://provinglab.dev/mcp"
}
}
}{
"servers": {
"proving-lab": {
"type": "http",
"url": "https://provinglab.dev/mcp"
}
}
}{
"context_servers": {
"proving-lab": {
"url": "https://provinglab.dev/mcp"
}
}
}{
"mcpServers": {
"proving-lab": {
"serverUrl": "https://provinglab.dev/mcp"
}
}
}{
"mcpServers": {
"proving-lab": {
"url": "https://provinglab.dev/mcp"
}
}
}name: Proving Lab
version: 0.0.1
schema: v1
mcpServers:
- name: Proving Lab
type: streamable-http
url: https://provinglab.dev/mcp{
"mcpServers": {
"proving-lab": {
"httpUrl": "https://provinglab.dev/mcp"
}
}
}{
"mcpServers": {
"proving-lab": {
"type": "http",
"url": "https://provinglab.dev/mcp"
}
}
}{
"mcpServers": {
"proving-lab": {
"url": "https://provinglab.dev/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fprovinglab.dev%2Fmcp&type=streamable_http&id=proving-lab&name=Proving%20Lab
It answered our last check on 19 October 2026 in 165 ms. Over 6 checks since 10 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.
Yes. It is published by provinglab.dev and served from provinglab.dev, the vendor's own domain: https://provinglab.dev/mcp.
10, as returned by the server's own tools/list on 11 September 2026: adoption_stats, extract_citation, extract_citations, get_measurement_data, get_method, how_to_capture, install_extension, list_measurements, and 2 more.
It answered our last check on 19 October 2026 in 165 ms. Over 6 checks since 10 September 2026 it answered 6.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://provinglab.dev/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: dev.provinglab. Endpoint host: provinglab.dev. ARD identifier: urn:air:dev.provinglab:mcp:browser-citation-capture.
First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.