# Credential programs: verify

URL: /code/mcp/credential/verbs · Id: `page:code/mcp/credential/verbs`

> The Credential Verbs verify as MCP do programs, with inputs, result, refusals and an example.

Reference for [Credential](/business/nouns/credential), one group of [Credential programs](/code/mcp/credential).

### Credential.verify
Verify confirms a Credential with the authority that issued it and records when it expires. [Verb page](/business/nouns/credential/verify?interface=mcp).

```text
do: return await $.Credential.verify(input)
```

Emits [`Credential.verified`](/business/events/Credential.verified).

**Inputs**

| Input | Type | Required | Description |
| --- | --- | --- | --- |
| `credential` | [Credential](/business/nouns/credential) | Yes | The Credential to check. |

**Returns**

| Output | Type | Required | Description |
| --- | --- | --- | --- |
| `credential` | [Credential](/business/nouns/credential) | Yes | The verified Credential. |

**Refuses when**

| Check | Error | Fix | Then call |
| --- | --- | --- | --- |
| The input does not match the schema of the operation. | [`invalid-input`](/code/api/errors/invalid-input) | Read the schema of the operation, then send every required field with the right type. | None. |
| The key is valid, but its scopes do not allow this operation. | [`forbidden`](/code/api/errors/forbidden) | Use a key whose scopes cover the operation, or ask an owner of the namespace to grant them. | None. |
| The record is not in a state that allows this Verb, so the call is refused. | [`refused`](/code/api/errors/refused) | Read the record, run the Verb that moves it to an allowed state, then retry. | None. |

**Example**

```json
{
  "name": "do",
  "arguments": {
    "code": "return await $.Credential.verify({ credential: 'credential_Abb9zatRR1' })"
  }
}
```