Skip to main content
Glama

Crovia — verifiable silence (TACET) and Crovia Seal

Look up one model

lookup_model
Read-only

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 case-insensitive substring match is accepted, and several matches return candidates instead of a verdict. This is not a catalog page, not the weekly report, and not the seal bytes. Reads published files only.

Input Schema

NameRequiredDescriptionDefault
modelYesHugging Face model id, org/name. Required. Empty is an error. Example: Qwen/Qwen3-32B.

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed1 schema field changed
    • changedInput schema / properties / model / description
      Previous value: -"Hugging Face model id, org/name"New value: +"Hugging Face model id, org/name. Required. Empty is an error. Example: Qwen/Qwen3-32B."
  2. First observed

TDQS

A4.6/5.0
Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already declare read-only and closed-world behavior, and the description adds meaningful context: it reads published files only, empty input is an error, exact IDs take precedence, substring fallback is case-insensitive, and multiple matches return candidates rather than a verdict. These are important behavioral traits beyond the annotations.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The description is front-loaded with the returned observation fields and then covers matching behavior and exclusions. It is dense and generally efficient, though it repeats some parameter information already present in the schema.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

There is no output schema, so the description must explain return values; it lists the key observation components an agent should expect. Combined with the matching semantics and read scope, it is complete enough for correct invocation.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is 100%, so the required Hugging Face id format, example, and empty-error condition are already documented. The description adds matching semantics—exact-id precedence, case-insensitive substring fallback, and candidate fallback on multiple matches—which is genuinely useful beyond the schema.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description names a specific resource—one model's observation—and enumerates what it returns: latest verdict, negative snapshots, anchored epochs, silence proof pointer, archive silence, badge, and record URL. It also distinguishes the tool from catalog, weekly-report, and seal-byte operations, so an agent can tell it apart from siblings.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

It states that an exact id is used, substring matching is accepted, and multiple matches return candidates instead of a verdict, plus it explicitly excludes catalog/weekly-report/seal-byte use cases. However, it does not name the specific alternative tools to use for those excluded cases, leaving some routing to inference.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.