Proving Lab
What this MCP does
Extracts structured citations and bibliographic records from web pages, supports batch reference processing, and provides browser capture and archival guidance.
Tools
Input schema
{'type': 'object', 'properties': {}, 'additionalProperties': False}
Input schema
{'type': 'object', 'required': ['url'], 'properties': {'url': {'type': 'string', 'description': 'Address of the page to read'}}, 'additionalProperties': False}
Input schema
{'type': 'object', 'required': ['urls'], 'properties': {'urls': {'type': 'array', 'items': {'type': 'string'}, 'description': 'Addresses to read, at most 50'}}, 'additionalProperties': False}
Input schema
{'type': 'object', 'required': ['dataset'], 'properties': {'dataset': {'type': 'string', 'description': 'Dataset URL or bare filename'}}, 'additionalProperties': False}
Input schema
{'type': 'object', 'properties': {'name': {'type': 'string'}}, 'additionalProperties': False}
Input schema
{'type': 'object', 'properties': {'agent': {'enum': ['input-events', 'dom-only', 'no-browser', 'human', 'unknown'], 'type': 'string', 'description': "How you act on the browser. 'input-events' if you produce real mouse or keyboard events (computer use, xdotool, an agent inside the user's browser); 'dom-only' for CDP or Playwright without OS input; 'no-browser' for plain HTTP; 'human' when writing instructions for a person. Omit if unsure — the answer then covers all of them."}, 'browser': {'enum': ['firefox', 'chrome', 'edge', 'brave', 'vivaldi', 'opera', 'android', 'any'], 'type': 'string', 'description': 'Target browser, if known.'}}, 'additionalProperties': False}
Input schema
{'type': 'object', 'properties': {'action': {'enum': ['install', 'uninstall', 'both'], 'type': 'string', 'description': "What you need. 'both' is the default and returns each direction — an install without its matching removal leaves a machine changed."}, 'browser': {'enum': ['firefox', 'chrome', 'any'], 'type': 'string', 'description': 'Target browser. Omit for both.'}}, 'additionalProperties': False}
Input schema
{'type': 'object', 'properties': {}, 'additionalProperties': False}
Input schema
{'type': 'object', 'properties': {'label': {'type': 'string', 'description': "Filter by label. 'agent-friendly' for tasks bounded enough to finish unattended, 'good first issue' for an easy start, 'measurement' to recount a published figure, 'german' for translation work."}}, 'additionalProperties': False}
Input schema
{'type': 'object', 'properties': {'purpose': {'enum': ['citation', 'figure', 'archive', 'ocr'], 'type': 'string', 'description': 'what the capture is for'}}}
Recent tool changes
Similar MCP servers
concordance
Provides deterministic claim verification and audit receipts, along with Bible references, commentary, geography, indexed knowled…
canton-ccpedia
Searches and explains Canton Network and Daml documentation, governance proposals, forums, code examples, APIs, releases, and eco…
BNM Data Shop
Sells access to cached official reports, enforcement orders, regulatory documents, inspection records, and other public-source te…
api-evangelist
Provides API governance analysis, OpenAPI overlays and version diffs, security-sensitive field classification, code samples, matu…
OpenHelvetia Gateway
Provides sourced access to Swiss federal legislation and political data, including law metadata, versions, amendments, citations,…
website-search
Provides security article search and structured guidance, templates, frameworks, and review criteria for incident response, threa…
The Ainglish Project
Maintains a measured, auditable register of language constructs, proposals, evidence, adoption, contributors, protocols, and rati…
Torah Library
Provides searchable Jewish texts, commentaries, source sheets, dictionaries, manuscripts, calendars, learning schedules, parasha …