Every change Wellknown observed on this MCP server, newest first, with what it was before and what it became. Tool-surface changes carry the definition diff. Nothing here is edited after the fact.
Changed the definition of "crovia_status", "crovia_vs_causari", "explain" and 5 more
Live totalsof Crovia'satTACETthislogmoment: epochs closed,andepochs anchored in Bitcoin, models on the map,negativesnapshotsnapshotscounts, signed silence proofs, and a pointer to the longest verifiablesilencesilence.andNotheparameters.latestThis is not a weekly SilenceReport.Report,Everynotfigureonewithmodel'sitsrecord,sourceandURL.not a proof bundle. Reads published files only.
before
—after
{"openWorldHint":false,"readOnlyHint":true}DisambiguateWhich product is which. Crovia(AIobserves training-datadisclosuredisclosure.observatory)CausarifromisCausarithe(code-provenancedevelopertool.tool).No parameters. Use this, not explain and not crovia_status, when the question is the difference between the two. Reads no catalog.
before
—
{"openWorldHint":false,"readOnlyHint":true}CanonicalThedefinitionsdefinition of one Crovia term. Allowed terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon.Without aOmit term,returnsorall.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. Use crovia_vs_causari, not explain, to tell the two products apart.
{"properties":{"term":{"description":"One of tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Omit it, or pass an empty string, for every definition. An unknown term is an error.","type":"string"}},"type":"object"}
Get aOne silence proof or its bundle
The publishedTACETsilence proof foraone model(or the index of all proofs): silence_days, observed window, epochs, seal id, URL, and how to verifyitit.inmodeltheomittedbrowser,orinemptyPythonreturns the proof index,or
Look upaone model
WhatOneCroviamodel'shasobservation:observedlatestaboutverdict,onenegativeAIsnapshots, anchored epochs, silence proof pointer, archive silence, badge and record URL. Required model(is a Hugging Face id,e.g.org/name,
SearchPageobservedofmodelsmodel ids
FindAobservedpagemodelsofbyobservedsubstringmodelofidstheirwhose 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 value is 25; any value int
Facts ofOnethepublished weekly Silence Report:,modelsorobserved,theepochslatestclosedreportandindex.anchoredweek is an ISO week YYYY-Www,negativeforsnapshotsexample 2026-W38. Omit week,proofsor pass an empty string,longestto
VerifyCheck a crovia.seal.v1 object or a wrapped TACET silence proofoffline: signature, canonical bytes, bindings, and per-epoch non-inclusion paths. Passthe objectseal as'seal'a JSON object or acroviatrust.comJSONURLstring, or url as'url'.ancheck_anchors=truehttps://croviatrust.com/ address. With neither, the call is an error. Supplying url fetches that URL over the network. check_anchors defaults to false; true also checks the drand round bytes and the Bitcoin anchors(over the network. A seal object with check_anchors false or omitted is checked from that object alone. This tool can reach the
Certificate recorded, valid to 2026-11-05
Authorization not required
Unknown → Live
First tool surface recorded: 8 tools (server version 2.0.0)
https://croviatrust.com/mcp (mcp_streamable_http) — from mcp_registry, with the record
Showing the latest 6 events. The API returns up to 500 and filters by kind: ?kind=tool_surface_changed
before
—after
{"openWorldHint":false,"readOnlyHint":true}{"properties":{"include_bundle":{"default":false,"description":"Default false. True includes the seal bundle for the one model. Ignored when model is omitted or empty.","type":"boolean"},"model":{"description":"Hugging Face model id. Omit it, or pass an empty string, to receive the proof index instead of one proof.","type":"string"}},"type":"object"}
before
—after
{"openWorldHint":false,"readOnlyHint":true}⟨2 unchanged words⟩ :{"description":"Hugging Face model id,org/nameorg/name. Required. Empty is an error. Example: Qwen/Qwen3-32B.","type":"string"}},"required": ⟨3 unchanged words⟩
before
—after
{"openWorldHint":false,"readOnlyHint":true}{"properties":{"limit":{"maximumdefault":10025,"minimumdescription":1"Page size. Omitted, empty, 0 or any other falsy value means 25. A value int() accepts is clamped into 1..100: 500 is fetched as 100 and a negative as 1. There is no schema minimum or maximum, because those would reject the values the server clamps. A value int() cannot parse is an error and nothing is searched.","type":"integer"},"query":{"description":"Substring of the model id. Omit it, or pass an empty string, to match the whole catalog. The page is still capped by limit.","type":"string"}},"type":"object"}
before
—after
{"openWorldHint":false,"readOnlyHint":true}{"properties":{"week":{"description":"ISO week YYYY-Www, for example 2026-W38. Omit it, or pass an empty string, for the latest report index.","type":"string"}},"type":"object"}
before
—after
{"openWorldHint":false,"readOnlyHint":true}{"properties":{"check_anchors":{"default":false,"description":"Default false. True checks the drand round and the Bitcoin anchors over the network. False does not.","type":"boolean"},"seal":{"description":"The seal or wrapped proof, as a JSON object or a JSON string. Omit it when url is set.","type":["object","string"]},"url":{"description":"https://croviatrust.com/ URL of a JSON seal. Any other host is rejected. Fetching it uses the network.","type":"string"}},"type":"object"}
before
—after
{"openWorldHint":true,"readOnlyHint":true}