Endpoints: 28,729MCP servers: 18,413Payout addresses: 2,071Paid calls: 1,537Letters: 14Defects: 1,323counted 3 min ago
teppi

Server definition

Hash
sha256:12f70069b617ec942809622f3df2f960e7693367fba9ee05ccf44e78b4142cec
What it is
What a remote MCP server returned when asked what it offers: 4 tools

The blob, as servednamed by its sha256

{ "instructions": null, "tools": [ { "description": "projection of a committed Shōgen-verified witness (Binance BTCUSDT, self-notarized); the verifier is NOT executed at call time.", "inputSchema": { "additionalProperties": false, "properties": {}, "type": "object" }, "name": "attest", "outputSchema": { "additionalProperties": false, "properties": { "label": { "description": "Honesty label carried OUTSIDE the frozen price (K-1): the witness is demonstrative, not probative.", "type": "string" }, "price": { "additionalProperties": false, "properties": { "attestor": { "items": { "additionalProperties": false, "properties": { "identity": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "key": { "pattern": "^([0-9a-f]{2})+$", "type": "string" } }, "required": [ "identity", "key" ], "type": "object" }, "minItems": 1, "type": "array", "uniqueItems": true }, "observed_at": { "additionalProperties": false, "properties": { "clock": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "instant": { "minimum": 0, "type": "integer" } }, "required": [ "clock", "instant" ], "type": "object" }, "octets_recalcules": { "type": "boolean" }, "residual": { "items": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "minItems": 1, "type": "array", "uniqueItems": true }, "schema_version": { "pattern": "^\\d+\\.\\d+\\.\\d+$", "type": "string" }, "sens_emis_digest": { "pattern": "^[0-9a-f]{64}$", "type": "string" }, "subject": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "transport": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "utterance": { "additionalProperties": false, "properties": { "bytes": { "pattern": "^([0-9a-f]{2})*$", "type": "string" }, "hash": { "pattern": "^[0-9a-f]{64}$", "type": "string" } }, "required": [ "hash" ], "type": "object" }, "verifier_revision": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" } }, "required": [ "schema_version", "subject", "attestor", "residual", "transport", "utterance", "observed_at", "octets_recalcules", "verifier_revision" ], "type": "object" }, "provenance": { "additionalProperties": false, "properties": { "shogen_head_sha": { "description": "Source revision the fixtures were extracted from (pinned).", "pattern": "^[0-9a-f]{40}$", "type": "string" }, "source_lot_sha256": { "description": "sha256 of the committed witness lot (CBOR), recomputed from the bytes.", "pattern": "^[0-9a-f]{64}$", "type": "string" }, "source_verdict_sha256": { "description": "sha256 of the committed verifier output (UTF-8), recomputed from the bytes.", "pattern": "^[0-9a-f]{64}$", "type": "string" } }, "required": [ "source_lot_sha256", "source_verdict_sha256", "shogen_head_sha" ], "type": "object" } }, "required": [ "price", "provenance", "label" ], "type": "object" } }, { "description": "split-conformal quantile at miscoverage α over caller-supplied nonconformity scores. MONARK does not see, store, or verify the caller's data or model, and does not validate that the supplied numbers are nonconformity scores of any model. Marginal 1−α coverage holds ONLY for future points exchangeable with the supplied scores; non-exchangeable data (e.g. distribution-shifted or time-ordered) voids it. Never a probability of being right.", "inputSchema": { "additionalProperties": false, "properties": { "alpha": { "description": "Target miscoverage in the open interval (0,1).", "type": "number" }, "nMin": { "description": "Minimum calibration count (>= 1); n < nMin fails closed to under_calib.", "type": "integer" }, "scores": { "description": "Caller-supplied nonconformity scores (BYO: the caller owns the score function; MONARK stays agnostic).", "items": { "type": "number" }, "maxItems": 10000, "type": "array" } }, "required": [ "scores", "alpha", "nMin" ], "type": "object" }, "name": "calibrate", "outputSchema": { "additionalProperties": false, "properties": { "alpha": { "description": "The target miscoverage (echoed).", "type": "number" }, "label": { "description": "Honesty label (K-1): the marginal coverage holds only under exchangeability with the supplied scores.", "type": "string" }, "method": { "const": "split", "description": "The conformal method — always split." }, "n": { "description": "The number of supplied scores (echoed).", "type": "integer" }, "qhat": { "description": "The conformal quantile q̂, or null when the calibration is insufficient (fail-closed).", "type": [ "number", "null" ] }, "reason": { "description": "under_calib when q̂ is null, else null on success.", "type": [ "string", "null" ] }, "set_digest": { "description": "calibDigest(scores): recalculable by reference; the audit tie to verdict.calib_digest (C2).", "pattern": "^[0-9a-f]{64}$", "type": "string" } }, "required": [ "qhat", "n", "alpha", "method", "set_digest", "label", "reason" ], "type": "object" } }, { "description": "Estimated liquidable amount from the real UKEMI cascade primitives (imported, never re-implemented): an Eisenberg-Noe clearing of the interbank system (L, e) with alpha=beta=1 yields the largest clearing vector L*; each node is then read as a leveraged position — collateral is its cleared balance-sheet value (external assets plus interbank receipts under L*), debt is its nominal obligations, liquidation threshold K=1 — and liquidableAmount sums the debts of the nodes whose cleared value, once shocked by the caller-carried 24h fraction, no longer covers their obligations. Shocking the whole cleared value is a v0 simplification; no source supports shocking interbank receivables. yhat is that liquidable amount: a monetary quantity in the reference asset, a single point that HIKAE conformalizes downstream — no guarantee, no score. Downstream, no cascade calibration is committed; the gate abstains (under_calib) on this class. This cascade tool is v0, replaced at U-5.", "inputSchema": { "additionalProperties": false, "properties": { "L": { "description": "Nominal interbank liabilities matrix L[i][j] = what node i owes node j. Square, entries >= 0, zero diagonal.", "items": { "items": { "type": "number" }, "maxItems": 64, "type": "array" }, "maxItems": 64, "type": "array" }, "e": { "description": "External assets (liquidation value) per node at the clearing date. One value per node.", "items": { "type": "number" }, "maxItems": 64, "type": "array" }, "producedAt": { "description": "Caller-carried RFC3339 instant, injected for hash stability (D4); the tool reads no clock.", "type": "string" }, "shock": { "description": "24h collateral price shock fraction in [0,1] — a declared fixture parameter, not a dynamics model.", "type": "number" } }, "required": [ "L", "e", "shock", "producedAt" ], "type": "object" }, "name": "cascade", "outputSchema": { "additionalProperties": false, "properties": { "features_digest": { "pattern": "^[0-9a-f]{64}$", "type": "string" }, "predictor_id": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "produced_at": { "format": "date-time", "type": "string" }, "schema_version": { "pattern": "^\\d+\\.\\d+\\.\\d+$", "type": "string" }, "task_class": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "yhat": { "type": [ "string", "number" ] } }, "required": [ "schema_version", "task_class", "yhat", "predictor_id", "produced_at" ], "type": "object" } }, { "description": "Coverage-gated decision from the real HIKAE L3 policy (commit/defer/abstain) over a caller-carried authorization budget B_t. Dispatches on task_class. The class 'btc-dir-15m' is retired and answers a named refusal. For 'cascade-liquidable-24h' no cascade calibration is committed; the gate abstains (under_calib) on this class. For 'stable-run-velocity-24h' (Narabi: a redemption-flow velocity forecast) the gate holds a committed stable-run velocity calibration for the USDe synthetic-dollar-whitelisted-redeem population (key narabi:persistence-v2@eip155:1/erc20:0x4c9edd5852cd905f086c759e8383e09bff1e68b3) over calm-window redemption flow; coverage is stated under the split-conformal bound of Barber, Candes, Ramdas and Tibshirani 2023 (Thm 2, unit weights): at least 1 − α minus the average total-variation gap between calibration windows and the next one; that gap is not estimated here and the calibration is measured non-stationary across half-years, so 1 − α is the coverage only if that gap is zero (exchangeability), which is not assumed here; no coverage is measured; each band edge is yhat - qhat or yhat + qhat rounded to the nearest double, so it can differ from the exact edge by up to half a unit in the last place of that edge; the band is not widened for it; on that key it requires alpha = 0.1, nMin = 50; for any other population, no stable-run velocity calibration is committed for this population; the gate abstains (under_calib). For 'liquidation-eligible-coverage' (Ukemi: a per-account liquidable-amount class, class A only) the served region is a conformal upper bound on the liquidable amount for the calibrated class; the lower edge is 0 by construction, not a calibrated bound; abstains (under_calib) outside it; this class requires alpha = 0.01, nMin = 100; calibrated on one recorded episode; no coverage is claimed on any other event; the H-3 exchangeability check is a report, a YES licenses nothing more; the bound holds only if yhat was produced by the frozen close-factor rule on a mono-collateral WETH account at the first crossing, which the gate does not check. When the caller instead supplies a `calibration` (its own nonconformity scores plus a `mode`: `interval` ⇒ region [yhat - q̂, yhat + q̂], or `set` ⇒ a conformal set over caller `candidates`), the gate conformalizes against THOSE caller-supplied scores (BYO): split-conformal quantile at miscoverage α over caller-supplied nonconformity scores. MONARK does not see, store, or verify the caller's data or model, and does not validate that the supplied numbers are nonconformity scores of any model. Marginal 1−α coverage holds ONLY for future points exchangeable with the supplied scores; non-exchangeable data (e.g. distribution-shifted or time-ordered) voids it. Never a probability of being right. A caller-carried `attested` price must declare a subject consistent with the committed task class (exact committed-URL membership; BYO classes do not accept `attested` in P1); the attestation is carried by the caller and is not re-verified at call time (the verifier is not executed here); `attest` only projects the committed witness — verify a caller-carried attestation offline with the Shōgen verifier; no temporal binding in P1. No served class has a committed attestation subject (the retired 'btc-dir-15m' held the only one), so any `attested` is refused. The gate only emits a decision; it never calls the named tool.", "inputSchema": { "additionalProperties": false, "properties": { "attested": { "additionalProperties": false, "properties": { "attestor": { "items": { "additionalProperties": false, "properties": { "identity": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "key": { "pattern": "^([0-9a-f]{2})+$", "type": "string" } }, "required": [ "identity", "key" ], "type": "object" }, "minItems": 1, "type": "array", "uniqueItems": true }, "observed_at": { "additionalProperties": false, "properties": { "clock": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "instant": { "minimum": 0, "type": "integer" } }, "required": [ "clock", "instant" ], "type": "object" }, "octets_recalcules": { "type": "boolean" }, "residual": { "items": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "minItems": 1, "type": "array", "uniqueItems": true }, "schema_version": { "pattern": "^\\d+\\.\\d+\\.\\d+$", "type": "string" }, "sens_emis_digest": { "pattern": "^[0-9a-f]{64}$", "type": "string" }, "subject": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "transport": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "utterance": { "additionalProperties": false, "properties": { "bytes": { "pattern": "^([0-9a-f]{2})*$", "type": "string" }, "hash": { "pattern": "^[0-9a-f]{64}$", "type": "string" } }, "required": [ "hash" ], "type": "object" }, "verifier_revision": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" } }, "required": [ "schema_version", "subject", "attestor", "residual", "transport", "utterance", "observed_at", "octets_recalcules", "verifier_revision" ], "type": "object" }, "params": { "additionalProperties": false, "properties": { "alpha": { "description": "Target miscoverage in (0,1).", "type": "number" }, "bFloor": { "description": "B_floor threshold (>= 0).", "type": "number" }, "calibration": { "additionalProperties": false, "description": "OPTIONAL BYO calibration (ADR-M007 D7): caller-supplied nonconformity scores + region mode. Present ⇒ the gate conformalizes on the caller's model, not a committed class.", "properties": { "candidates": { "description": "Set-mode candidate labels with their nonconformity scores (required and non-empty when mode = set).", "items": { "additionalProperties": false, "properties": { "label": { "description": "Candidate label (printable ASCII, unique, no `|`).", "type": "string" }, "score": { "description": "The candidate's nonconformity score.", "type": "number" } }, "required": [ "label", "score" ], "type": "object" }, "maxItems": 10000, "type": "array" }, "mode": { "description": "`interval` ⇒ region [yhat - q̂, yhat + q̂]; `set` ⇒ conformal set over `candidates`.", "enum": [ "interval", "set" ], "type": "string" }, "scores": { "description": "Caller-supplied nonconformity scores (interval mode requires all >= 0).", "items": { "type": "number" }, "maxItems": 10000, "type": "array" } }, "required": [ "scores", "mode" ], "type": "object" }, "clockOpen": { "description": "Whether the coverage window is still open (caller-owned).", "type": "boolean" }, "intent": { "description": "The intent tested against the region.", "type": [ "string", "number", "null" ] }, "nMin": { "description": "Minimum calibration count (>= 1).", "type": "integer" }, "remainingBudget": { "description": "B_t — remaining authorization capacity (caller-owned, D6).", "type": "number" }, "tau": { "description": "Set-size threshold for the `set` path (>= 0).", "type": "number" }, "tauInterval": { "description": "Width threshold for the `interval` path (>= 0).", "type": "number" }, "tool": { "description": "The NAMED gated tool (echoed, never invoked — D0/D1).", "type": "string" } }, "required": [ "remainingBudget", "bFloor", "tau", "tauInterval", "alpha", "nMin", "intent", "tool", "clockOpen" ], "type": "object" }, "prediction": { "additionalProperties": false, "properties": { "features_digest": { "pattern": "^[0-9a-f]{64}$", "type": "string" }, "predictor_id": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "produced_at": { "format": "date-time", "type": "string" }, "schema_version": { "pattern": "^\\d+\\.\\d+\\.\\d+$", "type": "string" }, "task_class": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "yhat": { "type": [ "string", "number" ] } }, "required": [ "schema_version", "task_class", "yhat", "predictor_id", "produced_at" ], "type": "object" } }, "required": [ "prediction", "params" ], "type": "object" }, "name": "gate", "outputSchema": { "additionalProperties": false, "properties": { "action": { "enum": [ "commit", "defer", "abstain" ] }, "allow": { "type": "boolean" }, "intent": { "type": [ "string", "number", "null" ] }, "reason": { "enum": [ "covered", "set_too_large", "interval_too_wide", "intent_not_in_region", "under_calib", "no_label_schema", "budget_exhausted", "clock_expired", "upstream_timeout", "attestation_absent", "attestation_refused", "binding_broken", "non_evaluable" ] }, "remaining_budget": { "type": "number" }, "schema_version": { "pattern": "^\\d+\\.\\d+\\.\\d+$", "type": "string" }, "tool": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "verdict": { "additionalProperties": false, "properties": { "abstain": { "type": "boolean" }, "alpha": { "exclusiveMaximum": 1, "exclusiveMinimum": 0, "type": "number" }, "calib_digest": { "pattern": "^[0-9a-f]{64}$", "type": "string" }, "method": { "enum": [ "split", "hac-cp" ] }, "n_calib": { "minimum": 0, "type": "integer" }, "produced_at": { "format": "date-time", "type": "string" }, "qhat": { "type": [ "number", "null" ] }, "reason": { "enum": [ "covered", "set_too_large", "interval_too_wide", "intent_not_in_region", "under_calib", "no_label_schema", "budget_exhausted", "clock_expired", "upstream_timeout", "attestation_absent", "attestation_refused", "binding_broken", "non_evaluable" ] }, "region": { "oneOf": [ { "additionalProperties": false, "properties": { "kind": { "const": "set" }, "label_schema": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" }, "labels": { "items": { "pattern": "^[ -~]+$", "type": "string" }, "type": "array" } }, "required": [ "kind", "labels", "label_schema" ], "type": "object" }, { "additionalProperties": false, "properties": { "hi": { "type": "number" }, "kind": { "const": "interval" }, "lo": { "type": "number" } }, "required": [ "kind", "lo", "hi" ], "type": "object" } ] }, "residual": { "items": { "pattern": "^[ -~]+$", "type": "string" }, "type": "array" }, "schema_version": { "pattern": "^\\d+\\.\\d+\\.\\d+$", "type": "string" }, "scores": { "items": { "type": "number" }, "type": "array" }, "task_class": { "minLength": 1, "pattern": "^[ -~]+$", "type": "string" } }, "required": [ "schema_version", "task_class", "method", "alpha", "n_calib", "region", "qhat", "abstain", "reason", "residual", "calib_digest", "produced_at" ], "type": "object" } }, "required": [ "schema_version", "action", "allow", "tool", "intent", "verdict", "remaining_budget", "reason" ], "type": "object" } } ] }
Verify it yourselfcurl -s https://api.teppi.xyz/v1/evidence/sha256:12f70069b617ec942809622f3df2f960e7693367fba9ee05ccf44e78b4142cec | sha256sum