Skip to main content
Glama

Crovia — verifiable silence (TACET) and Crovia Seal

by com.croviatrust
OverviewDiscussionsAdmin

Verify a seal or proof

verify_seal
Read-only

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 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 network, so it is not a closed-world call.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
urlNohttps://croviatrust.com/ URL of a JSON seal. Any other host is rejected. Fetching it uses the network.
sealNoThe seal or wrapped proof, as a JSON object or a JSON string. Omit it when url is set.
check_anchorsNoDefault false. True checks the drand round and the Bitcoin anchors over the network. False does not.

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed4 schema fields changed
    • addedInput schema / properties / check_anchors / default
      Added value: +false
    • addedInput schema / properties / check_anchors / description
      Added value: +"Default false. True checks the drand round and the Bitcoin anchors over the network. False does not."
    • addedInput schema / properties / seal / description
      Added value: +"The seal or wrapped proof, as a JSON object or a JSON string. Omit it when url is set."
    • addedInput schema / properties / url / description
      Added value: +"https://croviatrust.com/ URL of a JSON seal. Any other host is rejected. Fetching it uses the network."
  2. First observed

TDQS

Score is being calculated.

All Crovia — verifiable silence (TACET) and Crovia Seal toolsInspect
Try in Browser
One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources