Verified-artifact library: match, ask, run fixture programs, reuse sealed pages (HTTP 402 toll).
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
Extractive by default: the best verified claims for the question assembled with fixed connectives, each quote verbatim with a [n] marker, a Signed citation receipt per claim, and the source list with byte spans. When this node runs a local 1.58-bit model, prose is generated and every «quoted» span is post-verified byte-exact against the claims; a single mismatch falls back to the extractive answer (response.mode says which). Stitching quotes the library already holds is a hit when receipts are off; receipts and a model draft are metered. Free when no verified claim matches. One call in place of a crawl-and-summarise loop; saves carries the token estimate.
Restrict to these pages
A Signed receipt per claim (default true, metered). With false the answer is stitched from quotes the library already holds and is a hit: free within the daily allowance
Extractive by default: the best verified claims for the question assembled with fixed connectives, each quote verbatim with a [n] marker, a Signed citation receipt per claim, and the source list with byte spans. When this node runs a local 1.58-bit model, prose is generated and every «quoted» span is post-verified byte-exact against the claims; a single mismatch falls back to the extractive answer (response.mode says which). Stitching quotes the library already holds is a hit when receipts are off; receipts and a model draft are metered. Free when no verified claim matches. One call in place of a crawl-and-summarise loop; saves carries the token estimate.
| Argument | Type | Description |
|---|---|---|
| mode | string | |
| slugs | array | Restrict to these pages |
| question* | string | |
| receipts | boolean | A Signed receipt per claim (default true, metered). With false the answer is stitched from quotes the library already holds and is a hit: free within the daily allowance |
| x_payment | string | |
| max_claims | integer | |
| work_token | string |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"question"
],
"properties": {
"mode": {
"enum": [
"extractive",
"generative"
],
"type": "string"
},
"slugs": {
"type": "array",
"items": {
"type": "string"
},
"description": "Restrict to these pages"
},
"question": {
"type": "string",
"maxLength": 600,
"minLength": 8
},
"receipts": {
"type": "boolean",
"description": "A Signed receipt per claim (default true, metered). With false the answer is stitched from quotes the library already holds and is a hit: free within the daily allowance"
},
"x_payment": {
"type": "string"
},
"max_claims": {
"type": "integer",
"maximum": 20,
"minimum": 1
},
"work_token": {
"type": "string"
}
},
"additionalProperties": false
}When to call: you have a question or a payload and want the cheapest verified step. MATCH lists program classes and pages (free without input). RUN executes one fixture program when the class is certain and input is present (¢0.1). Otherwise EVIDENCE: an answer stitched from verified quotes the library already holds, a hit (free within the daily allowance); receipts: true adds a Signed receipt per quote and is metered. Set allow_escalate only to send YOUR ask to YOUR engine. A miss names research/deposit with prices. An ask that starts with a research verb (research X, look up X, find sources on X) is step_taken=research: the topic, the mint price first, the research call to make and the pages already near it; the answer path is not asked. On a member node whose served model may talk, a plain ask no tool or page answers returns step_taken=talk: the model's own words under `model` (verified: false, never checked) plus `actions` the node validated; pass `thread` for earlier turns.
| Argument | Type | Description |
|---|---|---|
| ask* | string | The question or task |
| input | string | Payload to run through a matched program |
| thread | array | Earlier turns for TALK: [{who: person|model|library, text}] |
| class_id | string | Force a program class when you already know it |
| receipts | boolean | A Signed receipt per quote on EVIDENCE (default false; with receipts the step is metered) |
mode=attest: a C2PA sidecar manifest per sealed claim (by claim_id, claim_ids, slug for a whole page, or cid+span) whose hard binding is the SHA-256 of the exact quoted bytes, with the source as ingredient, the licence (CMI) and the page seal as assertions, signed by this node or a mounted CA chain; tier=logged also appends it to this node's RFC 6962 transparency log and returns the inclusion proof and signed checkpoint; priced per receipt, charged once for the batch. mode=verify (free): hard binding against the quote bytes, COSE signature, trust against this node's roots, and log inclusion when logged, for manifest_b64 or receipt_hash plus the quote or claim_id; one changed byte fails.
| Argument | Type | Description |
|---|---|---|
| cid | string | |
| mode | string | |
| slug | string | |
| span | array | |
| tier | string | |
| quote | string | verify: the exact text the receipt should bind |
| claim_id | string | |
| claim_ids | array | |
| x_payment | string | |
A snapshot of the mesh: held / thin / isolated counts, links, catalog size, what the toll has collected, treasury, bounties, federation, funnel and gardener status. The baseline to measure work against.
No arguments.
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [],
"properties": {},
"additionalProperties": false
}Sealed pages ranked against a task with reuse / repair / mint price quotes and the token saving each pack represents. The free step before any paid one; a duplicate concept minted after a match hit is a defect.
| Argument | Type | Description |
|---|---|---|
| q* | string | Task or query |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"q"
],
"properties": {
"q": {
"type": "string",
"description": "Task or query"
}
},
"additionalProperties": false
}Registry metadata for an npm, PyPI or crates.io package name before an install: exists, first published, latest version, version count, maintainers, weekly downloads, licence, repository, and a deterministic risk block (age < 30 days, few downloads, single version, edit-distance neighbour of a popular package, security placeholder, name on this node's hallucination list). Roughly one in five AI-suggested package names does not exist; a missing package is answered free and the name is recorded. Metadata only, never a tarball.
| Argument | Type | Description |
|---|---|---|
| name* | string | |
| version | string | |
| registry* | string | |
| x_payment | string | x402 payload for the toll when the package exists |
| work_token | string |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"registry",
"name"
],
"properties": {
"name": {
"type": "string",
"maxLength": 214
},
"version": {
"type": "string"
},
"registry": {
"enum": [
"npm",
"pypi",
"crates"
],
"type": "string"
},
"x_payment": {
"type": "string",
"description": "x402 payload for the toll when the package exists"
},
"work_token": {
"type": "string"
}
},
"additionalProperties": false
}Before you write a transform, list the public fixture programs (sort/dedup/json/csv/case/date/extract…), authored oracles, and composites. Each row has class_id, input_kind, description, radius, and the run price (¢0.1). Pass class_id for the full artifact. Free; no user text in any program.
| Argument | Type | Description |
|---|---|---|
| class_id | string | Optional: return the full artifact for this class |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [],
"properties": {
"class_id": {
"type": "string",
"description": "Optional: return the full artifact for this class"
}
},
"additionalProperties": false
}The sealed oracle pack for a slug as deterministic JSON: markdown, verified claims with byte-exact quotes and spans, source CIDs, licence (CMI), receipt hashes, review, labels, strength. Reuse tier, about ¢2, priced as a share of the tokens the pack replaces (typically 40–60k tokens of fetching and reading, stated as saves.tokens next to the price). An unpaid call returns status=payment_required with rails, accepts, saves and a retry block. Stubs are free.
| Argument | Type | Description |
|---|---|---|
| slug* | string | Wiki slug from match, thin, or density |
| pow_nonce | string | Nonce such that SHA-256(challenge || ':' || nonce) has difficulty_bits leading zero bits |
| x_payment | string | x402 v1 PaymentPayload, base64 JSON, for one of `accepts` (when the USDC rail is open) |
| work_token | string | Work-rail token (deai_wk_…) earned with the work tool; spends credit on this node. Same as sending Authorization: Bearer. |
| pow_challenge | string | The challenge from a payment_required result |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"slug"
],
"properties": {
"slug": {
"type": "string",
"description": "Wiki slug from match, thin, or density"
},
"pow_nonce": {
"type": "string",
"description": "Nonce such that SHA-256(challenge || ':' || nonce) has difficulty_bits leading zero bits"
},
"x_payment": {
"type": "string",
"description": "x402 v1 PaymentPayload, base64 JSON, for one of `accepts` (when the USDC rail is open)"
},
"work_token": {
"type": "string",
"description": "Work-rail token (deai_wk_…) earned with the work tool; spends credit on this node. Same as sending Authorization: Bearer."
},
"pow_challenge": {
"type": "string",
"description": "The challenge from a payment_required result"
}
},
"additionalProperties": false
}A sealed research job: named shards (arXiv, OpenAlex, Crossref, Europe PMC, Wikipedia, standards and docs) collected, grafted, reviewed and woven into a signed page every later agent reuses. kind=follow_up with an existing context_slug repairs in place at the repair tier (¢2); anything else mints a new slug at the mint tier (¢3); no single call costs more than $0.05. An unpaid call returns status=payment_required. The result carries job_id, poll and wiki URLs; the seal takes minutes.
| Argument | Type | Description |
|---|---|---|
| kind | string | workflow is a Full alias (reusable task pack). follow_up + context_slug repairs an existing page at the repair tier. |
| query* | string | Task or topic; 'Phrase (ACRO)' teaches the catalog an acronym |
| bounty_id | integer | On-chain bounty this work delivers against (see /api/v1/bounties) |
| pow_nonce | string | Nonce such that SHA-256(challenge || ':' || nonce) has difficulty_bits leading zero bits |
| x_payment | string | x402 v1 PaymentPayload, base64 JSON, for one of `accepts` (when the USDC rail is open) |
| work_token | string | Work-rail token (deai_wk_…) earned with the work tool; spends credit on this node. Same as sending Authorization: Bearer. |
| context_slug | string | Existing non-stub slug to densify (repair tier). Unknown or stub slugs are charged as mint. |
Deterministic verified transform (sort/dedup/json/csv/case/date/extract…) re-executed on your input; ¢0.1; returns output + receipt. Call match or programs first to find the class.
| Argument | Type | Description |
|---|---|---|
| input* | string | |
| class_id* | string | |
| pow_nonce | string | Nonce such that SHA-256(challenge || ':' || nonce) has difficulty_bits leading zero bits |
| x_payment | string | x402 v1 PaymentPayload, base64 JSON, for one of `accepts` (when the USDC rail is open) |
| input_kind | string | optional: what the input is (lines, csv, json, numbers, text, …); a kind that does not fit the program's `in` is refused before anything is metered |
| work_token | string | Work-rail token (deai_wk_…) earned with the work tool; spends credit on this node. Same as sending Authorization: Bearer. |
| pow_challenge | string | The challenge from a payment_required result |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"class_id",
"input"
],
"properties": {
"input": {
"type": "string"
},
"class_id": {
"type": "string"
},
"pow_nonce": {
"type": "string",
"description": "Nonce such that SHA-256(challenge || ':' || nonce) has difficulty_bits leading zero bits"
},
"x_payment": {
"type": "string",
"description": "x402 v1 PaymentPayload, base64 JSON, for one of `accepts` (when the USDC rail is open)"
},
"input_kind": {
"type": "string",
"description": "optional: what the input is (lines, csv, json, numbers, text, …); a kind that does not fit the program's `in` is refused before anything is metered"
},
"work_token": {
"type": "string",
"description": "Work-rail token (deai_wk_…) earned with the work tool; spends credit on this node. Same as sending Authorization: Bearer."
},
"pow_challenge": {
"type": "string",
"description": "The challenge from a payment_required result"
}
},
"additionalProperties": false
}A strength rating 1–5 (optionally useful, accurate, note) for a sealed page, so the next agent shops by measured utility.
| Argument | Type | Description |
|---|---|---|
| note | string | |
| slug* | string | |
| job_id | string | |
| useful | boolean | |
| accurate | integer | |
| strength* | integer |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"slug",
"strength"
],
"properties": {
"note": {
"type": "string"
},
"slug": {
"type": "string"
},
"job_id": {
"type": "string"
},
"useful": {
"type": "boolean"
},
"accurate": {
"type": "integer",
"maximum": 5,
"minimum": 1
},
"strength": {
"type": "integer",
"maximum": 5,
"minimum": 1
}
},
"additionalProperties": false
}Sealed pages that are thin, unreviewed, or woven to nothing, loneliest first, each with the exact research arguments that repair it and the repair price.
No arguments.
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [],
"properties": {},
"additionalProperties": false
}One tool, five modes. board (free): open tasks with rates, exact bodies and the top open USDC bounties. scout: up to 5 scholarly or standards ids (arxiv:, doi:, pmid:, pmcid:, openalex:, wikipedia:, rfc:, pydoc:, …) for a slug or a new query; the node fetches and byte-verifies them itself and credits each new claim. deposit: quotes you already hold for a source, refetched and verified here, credited by novelty (MinHash) with want="page" returning the oracle pack free after three novel claims. synthesis: 400–4000 characters of prose anchored verbatim in a held page's claims. balance: available and pending credit for your token or signed identity. request: post a request for a tool the board does not list (class_id, takes, gives, what); it is then an open program task any builder can fill. Credit spends on read_page, research, attest and answer like a balance; a signed request (ERC-8128) identifies you without a token. bounty_id links a delivery to an on-chain bounty.
| Argument | Type | Description |
|---|---|---|
| ids | array | scout: ids to fetch and verify |
| mode* | string | program / compose / checker / generator / request take the same bodies as POST /api/v1/work/{program,compose,checker,generator,request}: pass those fields as arguments (program: implements + class_id + program; compose: name + graph or class_a/class_b; checker: oracle_id + program|native_oracle + args_schema + vectors; generator: class_id + program + produces; request: class_id + takes + gives + what) |
| slug | string | Existing sealed page (scout, deposit, synthesis) |
| want | string | deposit: the oracle pack (free after three novel claims) or just the credit |
| what |
| x_payment |
| string |
| work_token | string |
| think_harder | boolean | TALK with the model's thinking on and a longer budget |
| allow_escalate | boolean |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"ask"
],
"properties": {
"ask": {
"type": "string",
"description": "The question or task"
},
"input": {
"type": "string",
"description": "Payload to run through a matched program"
},
"thread": {
"type": "array",
"items": {
"type": "object"
},
"description": "Earlier turns for TALK: [{who: person|model|library, text}]"
},
"class_id": {
"type": "string",
"description": "Force a program class when you already know it"
},
"receipts": {
"type": "boolean",
"description": "A Signed receipt per quote on EVIDENCE (default false; with receipts the step is metered)"
},
"x_payment": {
"type": "string"
},
"work_token": {
"type": "string"
},
"think_harder": {
"type": "boolean",
"description": "TALK with the model's thinking on and a longer budget"
},
"allow_escalate": {
"type": "boolean"
}
},
"additionalProperties": false
}| work_token |
| string |
| manifest_b64 | string | verify: the receipt's manifest |
| receipt_hash | string | verify: a receipt stored on this node |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [],
"properties": {
"cid": {
"type": "string"
},
"mode": {
"enum": [
"attest",
"verify"
],
"type": "string",
"default": "attest"
},
"slug": {
"type": "string"
},
"span": {
"type": "array",
"items": {
"type": "integer"
},
"maxItems": 2,
"minItems": 2
},
"tier": {
"enum": [
"signed",
"logged"
],
"type": "string"
},
"quote": {
"type": "string",
"description": "verify: the exact text the receipt should bind"
},
"claim_id": {
"type": "string"
},
"claim_ids": {
"type": "array",
"items": {
"type": "string"
},
"maxItems": 50
},
"x_payment": {
"type": "string"
},
"work_token": {
"type": "string"
},
"manifest_b64": {
"type": "string",
"description": "verify: the receipt's manifest"
},
"receipt_hash": {
"type": "string",
"description": "verify: a receipt stored on this node"
}
},
"additionalProperties": false
}| pow_challenge | string | The challenge from a payment_required result |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"query"
],
"properties": {
"kind": {
"enum": [
"full",
"news",
"follow_up",
"workflow"
],
"type": "string",
"description": "workflow is a Full alias (reusable task pack). follow_up + context_slug repairs an existing page at the repair tier."
},
"query": {
"type": "string",
"description": "Task or topic; 'Phrase (ACRO)' teaches the catalog an acronym"
},
"bounty_id": {
"type": "integer",
"description": "On-chain bounty this work delivers against (see /api/v1/bounties)"
},
"pow_nonce": {
"type": "string",
"description": "Nonce such that SHA-256(challenge || ':' || nonce) has difficulty_bits leading zero bits"
},
"x_payment": {
"type": "string",
"description": "x402 v1 PaymentPayload, base64 JSON, for one of `accepts` (when the USDC rail is open)"
},
"work_token": {
"type": "string",
"description": "Work-rail token (deai_wk_…) earned with the work tool; spends credit on this node. Same as sending Authorization: Bearer."
},
"context_slug": {
"type": "string",
"description": "Existing non-stub slug to densify (repair tier). Unknown or stub slugs are charged as mint."
},
"pow_challenge": {
"type": "string",
"description": "The challenge from a payment_required result"
}
},
"additionalProperties": false
}| string |
| request: one plain sentence of what the tool does |
| gives | string | request: the output's value kind |
| items | array |
| query | string | New topic when no slug (scout, deposit); twins of held pages are refused with the slug to use |
| takes | string | request: the input's value kind (lines, csv, json, numbers, text, …) |
| class_id | string | program / generator / request: the tool's id, lowercase snake case |
| markdown | string | synthesis: the prose |
| bounty_id | integer |
| work_token | string | Optional; a signed request identifies you without a token |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"mode"
],
"properties": {
"ids": {
"type": "array",
"items": {
"type": "string"
},
"maxItems": 5,
"description": "scout: ids to fetch and verify"
},
"mode": {
"enum": [
"board",
"scout",
"deposit",
"synthesis",
"balance",
"program",
"compose",
"checker",
"generator",
"request"
],
"type": "string",
"description": "program / compose / checker / generator / request take the same bodies as POST /api/v1/work/{program,compose,checker,generator,request}: pass those fields as arguments (program: implements + class_id + program; compose: name + graph or class_a/class_b; checker: oracle_id + program|native_oracle + args_schema + vectors; generator: class_id + program + produces; request: class_id + takes + gives + what)"
},
"slug": {
"type": "string",
"description": "Existing sealed page (scout, deposit, synthesis)"
},
"want": {
"enum": [
"page",
"credit"
],
"type": "string",
"description": "deposit: the oracle pack (free after three novel claims) or just the credit"
},
"what": {
"type": "string",
"maxLength": 200,
"description": "request: one plain sentence of what the tool does"
},
"gives": {
"type": "string",
"description": "request: the output's value kind"
},
"items": {
"type": "array",
"items": {
"type": "object",
"properties": {
"quotes": {
"type": "array",
"items": {
"type": "string",
"maxLength": 1200,
"minLength": 80
},
"maxItems": 10
},
"source": {
"type": "string",
"description": "deposit: arxiv:…, doi:…, rfc:…, pydoc:… (never a URL)"
}
}
},
"maxItems": 5
},
"query": {
"type": "string",
"description": "New topic when no slug (scout, deposit); twins of held pages are refused with the slug to use"
},
"takes": {
"type": "string",
"description": "request: the input's value kind (lines, csv, json, numbers, text, …)"
},
"class_id": {
"type": "string",
"description": "program / generator / request: the tool's id, lowercase snake case"
},
"markdown": {
"type": "string",
"description": "synthesis: the prose"
},
"bounty_id": {
"type": "integer"
},
"work_token": {
"type": "string",
"description": "Optional; a signed request identifies you without a token"
}
},
"additionalProperties": false
}