Crovia — verifiable silence (TACET) and Crovia Seal

Connect Remote server

claude mcp add --transport http crovia https://croviatrust.com/mcp

{
  "mcpServers": {
    "crovia": {
      "url": "https://croviatrust.com/mcp"
    }
  }
}

{
  "servers": {
    "crovia": {
      "type": "http",
      "url": "https://croviatrust.com/mcp"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://croviatrust.com/mcp

Tools 8 found in our last check

• crovia_status

  Live totals at this moment: epochs closed, epochs anchored in Bitcoin, models on the map, snapshot counts, signed silence proofs, and a pointer to the longest verifiable silence. No parameters. This is not a weekly Silence Report, not one model's record, and not a proof bundle.…

• lookup_model

  One model's observation: latest verdict, negative snapshots, anchored epochs, silence proof pointer, archive silence, badge and record URL. Required model is a Hugging Face id, org/name, for example Qwen/Qwen3-32B. An empty model is an error. An exact id is used; otherwise one c…

• search_models

  A page of observed model ids whose id contains query, compared case-insensitively, in catalog order, not a ranking. query omitted or empty matches the whole catalog and still returns at most limit rows. limit follows the historical rule: a missing, empty, zero or other falsy val…

• get_silence_proof

  The published silence proof for one model: silence_days, observed window, epochs, seal id, URL, and how to verify it. model omitted or empty returns the proof index, not a bundle. include_bundle defaults to false; true attaches the crovia.seal.v1 bundle for that one model and do…

• verify_seal

  Check a crovia.seal.v1 object or a wrapped TACET silence proof: signature, canonical bytes, bindings, and per-epoch non-inclusion paths. Pass seal as a JSON object or a JSON string, or url as an https://croviatrust.com/ address. With neither, the call is an error. Supplying url…

• silence_report

  One published weekly Silence Report, or the latest report index. week is an ISO week YYYY-Www, for example 2026-W38. Omit week, or pass an empty string, to receive the latest index rather than one week's facts. A week that is not YYYY-Www is an error. A week with no published fi…

• explain

  The definition of one Crovia term. Allowed terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Omit term, or pass an empty or blank string, to receive every definition. Any other value is an error listing those allowed terms, and it does not return the definitions…

• crovia_vs_causari

  Which product is which. Crovia observes training-data disclosure. Causari is the code-provenance tool. No parameters. Use this, not explain and not crovia_status, when the question is the difference between the two. Reads no catalog.

Details

More finance and crypto servers See all

• RightCard

  Which of your credit cards to use at any store, from verified bank data. No bank login.

• Africa Compliance Data

  African holidays, business days, VAT, withholding tax, tax treaties, tax IDs and filing deadlines

• BusCalc Business Calculators

  Business calculators, data lookups, replayable receipts, and documentation for enterprise pilots.

• CarLoanMath

  US car loan math: monthly payment, compare loans, max price for your budget, amortization. Free.

• InfinityVolume

  Dollar volume across 13 stock markets and US sectors, against each one's own normal. No prices.

• xytara MCP Executor

  Pay-per-call MCP tools and signed on-chain attestations: 20 free/day, then x402 or a spend key.