Proving Lab
Qué hace este MCP
Extracts structured citations and bibliographic records from web pages, supports batch reference processing, and provides browser capture and archival guidance.
Herramientas
Esquema de entrada
{'type': 'object', 'properties': {}, 'additionalProperties': False}
Esquema de entrada
{'type': 'object', 'required': ['url'], 'properties': {'url': {'type': 'string', 'description': 'Address of the page to read'}}, 'additionalProperties': False}
Esquema de entrada
{'type': 'object', 'required': ['urls'], 'properties': {'urls': {'type': 'array', 'items': {'type': 'string'}, 'description': 'Addresses to read, at most 50'}}, 'additionalProperties': False}
Esquema de entrada
{'type': 'object', 'required': ['dataset'], 'properties': {'dataset': {'type': 'string', 'description': 'Dataset URL or bare filename'}}, 'additionalProperties': False}
Esquema de entrada
{'type': 'object', 'properties': {'name': {'type': 'string'}}, 'additionalProperties': False}
Esquema de entrada
{'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}
Esquema de entrada
{'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}
Esquema de entrada
{'type': 'object', 'properties': {}, 'additionalProperties': False}
Esquema de entrada
{'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}
Esquema de entrada
{'type': 'object', 'properties': {'purpose': {'enum': ['citation', 'figure', 'archive', 'ocr'], 'type': 'string', 'description': 'what the capture is for'}}}
Cambios recientes en herramientas
Servidores MCP similares
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 …