INDIVIDUAL MCP TOOL

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.

provinglab.devnone authenticationAvailability not checked

LIVE ENDPOINT

https://provinglab.dev/mcp

No auth detected

Connect to this endpoint to inspect the live schema for extract_citations and invoke it with your own arguments.

Indexed input schema

{}

Risk classification

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

Parent server

provinglab.dev

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.provinglab]
url = "https://provinglab.dev/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "provinglab": {
      "type": "http",
      "url": "https://provinglab.dev/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: provinglab
Remote MCP URL: https://provinglab.dev/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "provinglab": {
      "url": "https://provinglab.dev/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "provinglab": {
      "type": "http",
      "url": "https://provinglab.dev/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "provinglab",
  "transport": "streamable-http",
  "url": "https://provinglab.dev/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

Related tools

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.
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.
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.
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.
recommend_settings — The capture settings that fit a given purpose, each with the measurement behind it or an explicit note that none exists.
how_to_capture — Get the runnable route for saving a web page that this endpoint cannot read — the sources it hands back.
install_extension — Install or uninstall the capture extension in Firefox or Chrome without a window, without a click and without administrator rights.
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.