Proving Lab
このMCPでできること
Extracts structured citations and bibliographic records from web pages, supports batch reference processing, and provides browser capture and archival guidance.
ツール
入力スキーマ
{'type': 'object', 'properties': {}, 'additionalProperties': False}
入力スキーマ
{'type': 'object', 'required': ['url'], 'properties': {'url': {'type': 'string', 'description': 'Address of the page to read'}}, 'additionalProperties': False}
入力スキーマ
{'type': 'object', 'required': ['urls'], 'properties': {'urls': {'type': 'array', 'items': {'type': 'string'}, 'description': 'Addresses to read, at most 50'}}, 'additionalProperties': False}
入力スキーマ
{'type': 'object', 'required': ['dataset'], 'properties': {'dataset': {'type': 'string', 'description': 'Dataset URL or bare filename'}}, 'additionalProperties': False}
入力スキーマ
{'type': 'object', 'properties': {'name': {'type': 'string'}}, 'additionalProperties': False}
入力スキーマ
{'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}
入力スキーマ
{'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}
入力スキーマ
{'type': 'object', 'properties': {}, 'additionalProperties': False}
入力スキーマ
{'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}
入力スキーマ
{'type': 'object', 'properties': {'purpose': {'enum': ['citation', 'figure', 'archive', 'ocr'], 'type': 'string', 'description': 'what the capture is for'}}}
最近のツール変更
類似のMCPサーバー
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 …