Servers Playground How we check Add a server Log in

Vigil — an outside witness for AI agents

Working · 2.8 s

com.vigilnotary/vigilv0.1.0 Domain verified

Agent leases, signed receipts, watchdogs, and optional paid source-verification evidence.

Security AI & Agents

Website Registry entry

Maintain this server? Claim it

Try it

Call this server's tools from your browser. Nothing to install.

https://vigilnotary.com/mcp

Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.

Tool list from our last check. Connect live to refresh it.

vigil_anchor

PRO: anchor the current chain head to OpenTimestamps on demand (the chain is auto-anchored every few hours regardless). Sends the public chain-head digest to external OpenTimestamps calendars; submission is not verified Bitcoin confirmation.

vigil_keystring

DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

This tool isn't marked read-only, so it may change something on the server or in an account you connected.

I understand, run it anyway

Vigil — an outside witness for AI agents MCP server | mcptry

Tools (26)

vigil_anchor

Argument	Type	Description
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "required": [],
  "properties": {
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_anchors

Public timestamp submissions to OpenTimestamps calendars. A submission is pending, not an independently verified Bitcoin confirmation. No key required.

read-only

No arguments.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "properties": {},
  "additionalProperties": false
}

vigil_chain

Read a range of receipts to audit chain continuity. Max 1000 per call.

read-only

Argument	Type	Description
to_serial	integer	Last serial (default = from_serial).
from_serial	integer	First serial (default 1).

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "to_serial": 10,
      "from_serial": 1
    }
  ],
  "properties": {
    "to_serial": {
      "type": "integer",
      "maximum": 9223372036854776000,
      "minimum": 1,
      "description": "Last serial (default = from_serial)."
    },
    "from_serial": {
      "type": "integer",
      "maximum": 9223372036854776000,
      "minimum": 1,
      "description": "First serial (default 1)."
    }
  },
  "additionalProperties": false
}

vigil_delete_watchdog

Remove a watchdog. Destructive: deletes its configuration and stops future alerts. No undo or restoration of the previous timer is provided.

destructive

Argument	Type	Description
name*	string	Watchdog name, 1..64 characters.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "name": "agent-health"
    }
  ],
  "required": [
    "name"
  ],
  "properties": {
    "name": {
      "type": "string",
      "maxLength": 64,
      "minLength": 1,
      "description": "Watchdog name, 1..64 characters."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_get_receipt

Fetch a receipt by serial number. Public — anyone can read any receipt.

read-only

Argument	Type	Description
serial*	integer	The receipt serial number.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "serial": 1
    }
  ],
  "required": [
    "serial"
  ],
  "properties": {
    "serial": {
      "type": "integer",
      "maximum": 9223372036854776000,
      "minimum": 1,
      "description": "The receipt serial number."
    }
  },
  "additionalProperties": false
}

vigil_grant_lease

Grant a short-lived, Ed25519-signed LEASE authorizing an agent to perform an action until it expires. A customer-run gateway verifies the lease offline (fail-closed) before letting the action through. This is the guard on a money/data-moving action. Free tier: 1 active lease (guarded agent). Security-sensitive: grants authority. Keep this account key outside the controlled agent. A signed lim string is enforced only by the customer's gateway.

destructive

Argument	Type	Description
lim	string	Optional limit string the gateway enforces, e.g. 'amount<=50usd'.
agent*	string	Identifier for the agent being authorized (1-128 chars).
ttl_s*	integer	Lease lifetime in seconds, 5..604800. Keep it short; renew to extend.
action*	string	The action class this lease authorizes, e.g. 'stripe.refund' (1-128 chars).
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "lim": "amount<=100usd",
      "agent": "refund-agent",
      "ttl_s": 60,
      "action": "stripe.refund"
    }
  ],
  "required": [
    "agent",
    "action",
    "ttl_s"
  ],
  "properties": {
    "lim": {
      "type": "string",
      "maxLength": 256,
      "description": "Optional limit string the gateway enforces, e.g. 'amount<=50usd'."
    },
    "agent": {
      "type": "string",
      "maxLength": 128,
      "minLength": 1,
      "description": "Identifier for the agent being authorized (1-128 chars)."
    },
    "ttl_s": {
      "type": "integer",
      "maximum": 604800,
      "minimum": 5,
      "description": "Lease lifetime in seconds, 5..604800. Keep it short; renew to extend."
    },
    "action": {
      "type": "string",
      "maxLength": 128,
      "minLength": 1,
      "description": "The action class this lease authorizes, e.g. 'stripe.refund' (1-128 chars)."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_heartbeat

'Still alive.' Reset a watchdog's timer. Call this at least once per interval. Resets the deadline and delivery state, potentially suppressing an overdue alert or rearming delivery.

destructive

Argument	Type	Description
name*	string	Watchdog name, 1..64 characters.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "name": "agent-health"
    }
  ],
  "required": [
    "name"
  ],
  "properties": {
    "name": {
      "type": "string",
      "maxLength": 64,
      "minLength": 1,
      "description": "Watchdog name, 1..64 characters."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_info

Service description, the Ed25519 signing pubkey to verify receipts against, current chain head, and free-tier limits. No key required.

read-only

No arguments.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "properties": {},
  "additionalProperties": false
}

vigil_journal_delete

Delete a journal slot. Destructive: removes stored bytes with no undo through the API.

destructive

Argument	Type	Description
slug*	string	Journal slot name, 1..64 ASCII letters, numbers, hyphens, or underscores.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "slug": "encrypted-state"
    }
  ],
  "required": [
    "slug"
  ],
  "properties": {
    "slug": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]{1,64}$",
      "maxLength": 64,
      "minLength": 1,
      "description": "Journal slot name, 1..64 ASCII letters, numbers, hyphens, or underscores."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_journal_get

Fetch a journal blob by slug. Returns base64 (decrypt client-side).

read-only

Argument	Type	Description
slug*	string	Journal slot name, 1..64 ASCII letters, numbers, hyphens, or underscores.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "slug": "encrypted-state"
    }
  ],
  "required": [
    "slug"
  ],
  "properties": {
    "slug": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]{1,64}$",
      "maxLength": 64,
      "minLength": 1,
      "description": "Journal slot name, 1..64 ASCII letters, numbers, hyphens, or underscores."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_journal_list

List your journal slots (slug, size, last-updated).

read-only

Argument	Type	Description
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "required": [],
  "properties": {
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_journal_put

Store an opaque blob under a slug (overwrites). Encrypt client-side: the server stores exactly the bytes supplied and cannot enforce client encryption. Send bytes as base64. Free tier: 4 slots, 64KB each. Destructive when the slug exists: previous bytes are replaced with no version history or undo.

destructive

Argument	Type	Description
slug*	string	1-64 alnum/-/_ chars.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.
data_base64*	string	The (already-encrypted) bytes, base64-encoded.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "slug": "encrypted-state",
      "data_base64": "ZW5jcnlwdGVkLWJ5dGVz"
    }
  ],
  "required": [
    "slug",
    "data_base64"
  ],
  "properties": {
    "slug": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]{1,64}$",
      "maxLength": 64,
      "minLength": 1,
      "description": "1-64 alnum/-/_ chars."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    },
    "data_base64": {
      "type": "string",
      "maxLength": 100000,
      "description": "The (already-encrypted) bytes, base64-encoded."
    }
  },
  "additionalProperties": false
}

vigil_lease_status

Public status of a lease (active / expired / revoked). What a gateway polls for revocation. No key required.

read-only

Argument	Type	Description
lease_id*	string	Opaque lease identifier returned by vigil_grant_lease.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "lease_id": "lease_example"
    }
  ],
  "required": [
    "lease_id"
  ],
  "properties": {
    "lease_id": {
      "type": "string",
      "maxLength": 128,
      "minLength": 1,
      "description": "Opaque lease identifier returned by vigil_grant_lease."
    }
  },
  "additionalProperties": false
}

vigil_leases

List your leases and their states.

read-only

Argument	Type	Description
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "required": [],
  "properties": {
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_notarize

Notarize work: POST the sha256 (64 hex chars) of anything and get back an Ed25519-signed, timestamped, hash-chained, serial-numbered receipt. Chain position orders submitted records; the timestamp is a signed assertion of Vigil's clock. Free tier: 10/day. Irreversibly publishes the digest, label and account handle in the public chain; no deletion tool exists. It proves signed-data integrity, not that an action happened or a claim is true.

Argument	Type	Description
label	string	Optional human label, <=200 chars. Public — do not put secrets here.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.
subject_sha256*	string	64 lowercase hex chars: the sha256 of the thing you are notarizing.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "label": "public example digest",
      "subject_sha256": "0000000000000000000000000000000000000000000000000000000000000000"
    }
  ],
  "required": [
    "subject_sha256"
  ],
  "properties": {
    "label": {
      "type": "string",
      "maxLength": 200,
      "description": "Optional human label, <=200 chars. Public — do not put secrets here."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    },
    "subject_sha256": {
      "type": "string",
      "pattern": "^[0-9a-fA-F]{64}$",
      "maxLength": 64,
      "minLength": 64,
      "description": "64 lowercase hex chars: the sha256 of the thing you are notarizing."
    }
  },
  "additionalProperties": false
}

vigil_pricing

The plans and per-tier limits (free, dev, pro). No key required.

read-only

No arguments.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "properties": {},
  "additionalProperties": false
}

vigil_register

Create a key. Returns a bearer key shown ONCE — store it; it is your only identity. No email, no account. Starts on the free tier. Creates a persistent identity. The returned key grants full account control; provision it in a trusted client, not a model transcript.

Argument	Type	Description
handle*	string	1-64 chars, lowercase alnum plus - and _.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "handle": "example-agent"
    }
  ],
  "required": [
    "handle"
  ],
  "properties": {
    "handle": {
      "type": "string",
      "pattern": "^[a-z0-9][a-z0-9_-]{0,63}$",
      "maxLength": 64,
      "minLength": 1,
      "description": "1-64 chars, lowercase alnum plus - and _."
    }
  },
  "additionalProperties": false
}

vigil_renew_lease

Extend a lease with a fresh signed token and new expiry. Renewing is how a healthy agent keeps acting; stop renewing (or revoke) and it lapses. Security-sensitive: extends authority and refreshes the offline recheck window. Keep renewal credentials outside the controlled agent.

destructive

Argument	Type	Description
ttl_s*	integer	Requested lease lifetime in seconds, 5..604800; offline trust still ends at recheck_by_ms within 30 seconds.
lease_id*	string	Opaque lease identifier returned by vigil_grant_lease.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "ttl_s": 60,
      "lease_id": "lease_example"
    }
  ],
  "required": [
    "lease_id",
    "ttl_s"
  ],
  "properties": {
    "ttl_s": {
      "type": "integer",
      "maximum": 604800,
      "minimum": 5,
      "description": "Requested lease lifetime in seconds, 5..604800; offline trust still ends at recheck_by_ms within 30 seconds."
    },
    "lease_id": {
      "type": "string",
      "maxLength": 128,
      "minLength": 1,
      "description": "Opaque lease identifier returned by vigil_grant_lease."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_revoke_key

Revoke your own key. It stops authenticating immediately. Irreversible. Irreversible: also revokes the account's leases and deletes its watchdogs. Private journal access is lost; public receipts remain. It does not cancel a Stripe subscription.

destructive

Argument	Type	Description
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "required": [],
  "properties": {
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_revoke_lease

Revoke a lease. A compliant v2 gateway refuses the old offline token at recheck_by_ms (at most 30 seconds after issue/renewal), or earlier if it polls revocation. Revocation is not instantaneous. Irreversible for this lease ID; it cannot be renewed again. Already admitted actions are not undone.

destructive

Argument	Type	Description
lease_id*	string	Opaque lease identifier returned by vigil_grant_lease.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "lease_id": "lease_example"
    }
  ],
  "required": [
    "lease_id"
  ],
  "properties": {
    "lease_id": {
      "type": "string",
      "maxLength": 128,
      "minLength": 1,
      "description": "Opaque lease identifier returned by vigil_grant_lease."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_set_watchdog

Arm a dead-man switch. Register an interval and an https webhook; then call vigil_heartbeat before each interval elapses. Miss one and Vigil attempts a signed 'absence' payload to your webhook, retrying failed delivery. Free tier: 1 watchdog. Overwrites an existing watchdog and resets its timer and delivery state. A missed heartbeat sends the supplied message to an external HTTPS recipient; failed delivery is capped at five attempts per armed interval.

destructive

Argument	Type	Description
name*	string	A name for this watchdog, 1-64 chars.
message	string	Optional note included in the absence payload, <=2000 chars.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.
interval_s*	integer	Seconds allowed between heartbeats, 60..604800.
webhook_url*	string	An https URL resolving to a public address; fired once on a missed heartbeat.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "name": "agent-health",
      "message": "agent missed heartbeat",
      "interval_s": 300,
      "webhook_url": "https://alerts.example.com/vigil"
    }
  ],
  "required": [
    "name",
    "interval_s",
    "webhook_url"
  ],
  "properties": {
    "name": {
      "type": "string",
      "maxLength": 64,
      "minLength": 1,
      "description": "A name for this watchdog, 1-64 chars."
    },
    "message": {
      "type": "string",
      "maxLength": 2000,
      "description": "Optional note included in the absence payload, <=2000 chars."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    },
    "interval_s": {
      "type": "integer",
      "maximum": 604800,
      "minimum": 60,
      "description": "Seconds allowed between heartbeats, 60..604800."
    },
    "webhook_url": {
      "type": "string",
      "pattern": "^https://[^\\s]+$",
      "maxLength": 2048,
      "minLength": 1,
      "description": "An https URL resolving to a public address; fired once on a missed heartbeat."
    }
  },
  "additionalProperties": false
}

vigil_usage

Your current tier, its limits, and how much you've used today. Requires your key.

read-only

Argument	Type	Description
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {}
  ],
  "required": [],
  "properties": {
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}

vigil_verify_lease

Offline, FAIL-CLOSED check of a lease token against a mandatory, independently pinned Ed25519 public key. Returns allow=true only for a valid signature before expiry and recheck_by_ms. It does not authenticate the calling agent, enforce action/amount policy, or query live revocation; a customer gateway must do those checks before every provider action. Checks signature, expiry and the signed recheck deadline only. It does not check live revocation, agent identity, action, amount or gateway policy; those checks are mandatory at the gateway.

read-only

Argument	Type	Description
lease*	object	A full lease token from vigil_grant_lease.
pubkey_hex*	string	Mandatory Ed25519 public key pinned from a trusted out-of-band source; never copy it from the lease.

Input schema (JSON)

{
  "type": "object",
  "required": [
    "lease",
    "pubkey_hex"
  ],
  "properties": {
    "lease": {
      "type": "object",
      "description": "A full lease token from vigil_grant_lease."
    },
    "pubkey_hex": {
      "type": "string",
      "pattern": "^[0-9a-f]{64}$",
      "maxLength": 64,
      "minLength": 64,
      "description": "Mandatory Ed25519 public key pinned from a trusted out-of-band source; never copy it from the lease."
    }
  },
  "additionalProperties": false
}

vigil_verify_receipt

Verify a receipt's hash and Ed25519 signature against a mandatory, independently pinned Ed25519 public key. The key must not come from the receipt being checked. Returns valid=false for tampering, forgery, a wrong signer, or malformed input. Read-only and local to Vigil.

read-only

Argument	Type	Description
receipt*	object	A full receipt object as returned by vigil_notarize / vigil_get_receipt.
pubkey_hex*	string	Mandatory Ed25519 public key pinned from a trusted out-of-band source; never copy it from the receipt.

Input schema (JSON)

{
  "type": "object",
  "required": [
    "receipt",
    "pubkey_hex"
  ],
  "properties": {
    "receipt": {
      "type": "object",
      "description": "A full receipt object as returned by vigil_notarize / vigil_get_receipt."
    },
    "pubkey_hex": {
      "type": "string",
      "pattern": "^[0-9a-f]{64}$",
      "maxLength": 64,
      "minLength": 64,
      "description": "Mandatory Ed25519 public key pinned from a trusted out-of-band source; never copy it from the receipt."
    }
  },
  "additionalProperties": false
}

vigil_verify_source

Paid source-local verification with exact evidence and signed receipt. Does not establish absolute truth. Read price and payment requirements before authorizing; settlement spends USDC irreversibly and there is no automatic refund. Identical tool arguments alone are NOT idempotent: retry with the identical arguments, same vigil/idempotency-key metadata and original payment proof.

destructive

Argument	Type	Description
claim*	string
options	object
source_url*	string

Input schema (JSON)

{
  "type": "object",
  "required": [
    "source_url",
    "claim"
  ],
  "properties": {
    "claim": {
      "type": "string",
      "pattern": "\\S",
      "maxLength": 2000,
      "minLength": 1
    },
    "options": {
      "type": "object",
      "properties": {
        "max_price_usd": {
          "type": "string",
          "pattern": "^(0|[1-9][0-9]*)(\\.[0-9]{1,6})?$",
          "maxLength": 32
        },
        "max_age_seconds": {
          "type": "integer",
          "default": 60,
          "maximum": 300,
          "minimum": 0
        }
      },
      "additionalProperties": false
    },
    "source_url": {
      "type": "string",
      "format": "uri",
      "pattern": "^https://[^\\s]+$",
      "maxLength": 2048
    }
  },
  "additionalProperties": false
}

vigil_watchdog_status

Read a watchdog's state: interval, last beat, whether it is overdue, fired, or exhausted.

read-only

Argument	Type	Description
name*	string	Watchdog name, 1..64 characters.
vigil_key	string	DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token.

Input schema (JSON)

{
  "type": "object",
  "examples": [
    {
      "name": "agent-health"
    }
  ],
  "required": [
    "name"
  ],
  "properties": {
    "name": {
      "type": "string",
      "maxLength": 64,
      "minLength": 1,
      "description": "Watchdog name, 1..64 characters."
    },
    "vigil_key": {
      "type": "string",
      "maxLength": 256,
      "minLength": 1,
      "deprecated": true,
      "description": "DEPRECATED legacy account-wide credential, including deletion and permission issuance. Prefer the client-injected HTTP Authorization: Bearer header; omit this argument when that header authenticates the request. This is not a scoped agent token."
    }
  },
  "additionalProperties": false
}