Deny-by-default authority leases for agents wielding real power.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
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.
Check (and if allowed, record) a proposed act against a covenant. Deny-by-default. Idempotent on act_id — retries never double-consume budget. Every check lands on the audit chain.
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
Check (and if allowed, record) a proposed act against a covenant. Deny-by-default. Idempotent on act_id — retries never double-consume budget. Every check lands on the audit chain.
| Argument | Type | Description |
|---|---|---|
| scope* | string | |
| act_id* | string | |
| covenant_id* | string | |
| amount_minor | integer |
{
"type": "object",
"title": "check_actArguments",
"required": [
"covenant_id",
"act_id",
"scope"
],
"properties": {
"scope": {
"type": "string",
"title": "Scope"
},
"act_id": {
"type": "string",
"title": "Act Id"
},
"covenant_id": {
"type": "string",
"title": "Covenant Id"
},
"amount_minor": {
"type": "integer",
"title": "Amount Minor",
"default": 0
}
}
}Current state, consumed/remaining budget, and check count.
| Argument | Type | Description |
|---|---|---|
| covenant_id* | string |
{
"type": "object",
"title": "covenant_statusArguments",
"required": [
"covenant_id"
],
"properties": {
"covenant_id": {
"type": "string",
"title": "Covenant Id"
}
}
}Fleet-standard self-description.
No arguments.
{
"type": "object",
"title": "describe_agentArguments",
"properties": {}
}Grant an agent a covenant: an explicit lease of authority. scopes support wildcards ('payments.*', '*'); budget_minor is the total spend ceiling in minor units; expires_at is ISO-8601. Returns the covenant_id.
| Argument | Type | Description |
|---|---|---|
| scopes* | array | |
| agent_id* | string | |
| principal* | string | |
| expires_at* | string | |
| budget_minor* | integer |
{
"type": "object",
"title": "grant_covenantArguments",
"required": [
"principal",
"agent_id",
"scopes",
"budget_minor",
"expires_at"
],
"properties": {
"scopes": {
"type": "array",
"items": {
"type": "string"
},
"title": "Scopes"
},
"agent_id": {
"type": "string",
"title": "Agent Id"
},
"principal": {
"type": "string",
"title": "Principal"
},
"expires_at": {
"type": "string",
"title": "Expires At"
},
"budget_minor": {
"type": "integer",
"title": "Budget Minor"
}
}
}List covenants, optionally filtered by state (ACTIVE|REVOKED|EXPIRED) and/or the bound agent.
| Argument | Type | Description |
|---|---|---|
| state | any | |
| agent_id | any |
{
"type": "object",
"title": "list_covenantsArguments",
"properties": {
"state": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"title": "State",
"default": null
},
"agent_id": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"title": "Agent Id",
"default": null
}
}
}Revoke a covenant immediately and terminally. All subsequent checks deny.
| Argument | Type | Description |
|---|---|---|
| reason | string | |
| covenant_id* | string |
{
"type": "object",
"title": "revoke_covenantArguments",
"required": [
"covenant_id"
],
"properties": {
"reason": {
"type": "string",
"title": "Reason",
"default": ""
},
"covenant_id": {
"type": "string",
"title": "Covenant Id"
}
}
}Verify the tamper-evident audit chain of allowed/denied acts.
| Argument | Type | Description |
|---|---|---|
| covenant_id* | string |
{
"type": "object",
"title": "verify_auditArguments",
"required": [
"covenant_id"
],
"properties": {
"covenant_id": {
"type": "string",
"title": "Covenant Id"
}
}
}