Skip to main content
Glama

detect_split_view

Audit fork proof: detect split-view by verifying if a witness co-signed divergent anchor heads.

Instructions

AUDITOR-side FORK PROOF: given two co-signed anchors (e.g. the head shown to client A vs client B), is there a witness that validly co-signed BOTH over an INCONSISTENT pair of heads (same log size, different tip)? One such witness is cryptographic proof of a split-view — an honest witness refuses the second signature, so a valid double-sign means the operator presented divergent histories. This is the check behind "prove my agent's memory store showed one history to one reader and a different one to another". Returns {fork, inconsistent, at, evidence, both_cosigned, malformed}. Honest limit: decidable from head commitments only at a shared size; different-size logs need verify_consistency (reported inconsistent=False = undetermined). malformed names any side whose sth_hash does not bind its own fields — that is a head no witness could have signed, not merely an unproven fork. Worked example: docs/TRANSPARENCY.md.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
anchor_aYes
anchor_bYes
cosigs_aYes
cosigs_bYes
witnessesYes
Install Server

TDQS

A4.6/5.0
Behavior5/5

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

With no annotations, the description carries the full burden, and it delivers: it explains the honesty assumption, the meaning of a valid double-sign, the 'malformed' edge case, and the limitation that inconsistent=False can mean undetermined rather than proven consistent. This is far beyond a minimal statement.

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

Conciseness5/5

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

The description is dense but every clause serves a purpose: definition, intuition, return keys, limitation, malformed clarification, and a pointer to a worked example. It front-loads the core question and avoids filler.

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

Completeness4/5

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

Given the complexity of the cryptographic check, the empty annotations, and the absence of an output schema, the description covers return keys, edge cases, and the alternative path. The main gap is that the input schema is fully generic and the description does not specify the concrete JSON structure for anchors, cosigs, and witnesses, though it points to docs/TRANSPARENCY.md.

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

Parameters3/5

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

Schema description coverage is 0%, so the description must compensate. It does define the roles of anchors, co-signatures, and witnesses in context, but it does not describe the expected shapes of anchor objects, cosig arrays, or the witnesses array. An agent can infer some meaning but not enough to construct all inputs confidently.

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?

States a specific verb ('detect') and resource ('split_view'), and explains the exact condition being tested: whether a witness co-signed two inconsistent heads of the same log size. It also distinguishes itself from verify_consistency by naming the different-size-log case, so an agent can tell siblings apart.

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

Usage Guidelines5/5

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

Explicitly says when the tool is decidable (shared head size) and when it is not, and directs users to verify_consistency for different-size logs. This gives clear when-to-use and when-not-to-use guidance and names the alternative tool.

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

Other Tools

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/DanceNitra/inspeximus'

If you have feedback or need assistance with the MCP directory API, please join our Discord server