Server definition

Hash: sha256:78e339a8b6dea2452c4147f6745437ab245d512ddc20d8495758bd631a36da2b
What it is: What a remote MCP server returned when asked what it offers: 7 tools

The blob, as servednamed by its sha256

{
  "instructions": "Machine-checkable authority leases for agents: scoped, budgeted, expiring, revocable, audited. Deny-by-default.",
  "tools": [
    {
      "description": "Check (and if allowed, record) a proposed act against a covenant.\n    Deny-by-default. Idempotent on act_id — retries never double-consume\n    budget. Every check lands on the audit chain.",
      "inputSchema": {
        "properties": {
          "act_id": {
            "title": "Act Id",
            "type": "string"
          },
          "amount_minor": {
            "default": 0,
            "title": "Amount Minor",
            "type": "integer"
          },
          "covenant_id": {
            "title": "Covenant Id",
            "type": "string"
          },
          "scope": {
            "title": "Scope",
            "type": "string"
          }
        },
        "required": [
          "covenant_id",
          "act_id",
          "scope"
        ],
        "title": "check_actArguments",
        "type": "object"
      },
      "name": "check_act",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "check_actOutput",
        "type": "object"
      }
    },
    {
      "description": "Current state, consumed/remaining budget, and check count.",
      "inputSchema": {
        "properties": {
          "covenant_id": {
            "title": "Covenant Id",
            "type": "string"
          }
        },
        "required": [
          "covenant_id"
        ],
        "title": "covenant_statusArguments",
        "type": "object"
      },
      "name": "covenant_status",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "covenant_statusOutput",
        "type": "object"
      }
    },
    {
      "description": "Fleet-standard self-description.",
      "inputSchema": {
        "properties": {},
        "title": "describe_agentArguments",
        "type": "object"
      },
      "name": "describe_agent",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "describe_agentOutput",
        "type": "object"
      }
    },
    {
      "description": "Grant an agent a covenant: an explicit lease of authority. scopes support\n    wildcards ('payments.*', '*'); budget_minor is the total spend ceiling in\n    minor units; expires_at is ISO-8601. Returns the covenant_id.",
      "inputSchema": {
        "properties": {
          "agent_id": {
            "title": "Agent Id",
            "type": "string"
          },
          "budget_minor": {
            "title": "Budget Minor",
            "type": "integer"
          },
          "expires_at": {
            "title": "Expires At",
            "type": "string"
          },
          "principal": {
            "title": "Principal",
            "type": "string"
          },
          "scopes": {
            "items": {
              "type": "string"
            },
            "title": "Scopes",
            "type": "array"
          }
        },
        "required": [
          "principal",
          "agent_id",
          "scopes",
          "budget_minor",
          "expires_at"
        ],
        "title": "grant_covenantArguments",
        "type": "object"
      },
      "name": "grant_covenant",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "grant_covenantOutput",
        "type": "object"
      }
    },
    {
      "description": "List covenants, optionally filtered by state (ACTIVE|REVOKED|EXPIRED)\n    and/or the bound agent.",
      "inputSchema": {
        "properties": {
          "agent_id": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Agent Id"
          },
          "state": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "State"
          }
        },
        "title": "list_covenantsArguments",
        "type": "object"
      },
      "name": "list_covenants",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "list_covenantsOutput",
        "type": "object"
      }
    },
    {
      "description": "Revoke a covenant immediately and terminally. All subsequent checks deny.",
      "inputSchema": {
        "properties": {
          "covenant_id": {
            "title": "Covenant Id",
            "type": "string"
          },
          "reason": {
            "default": "",
            "title": "Reason",
            "type": "string"
          }
        },
        "required": [
          "covenant_id"
        ],
        "title": "revoke_covenantArguments",
        "type": "object"
      },
      "name": "revoke_covenant",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "revoke_covenantOutput",
        "type": "object"
      }
    },
    {
      "description": "Verify the tamper-evident audit chain of allowed/denied acts.",
      "inputSchema": {
        "properties": {
          "covenant_id": {
            "title": "Covenant Id",
            "type": "string"
          }
        },
        "required": [
          "covenant_id"
        ],
        "title": "verify_auditArguments",
        "type": "object"
      },
      "name": "verify_audit",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "verify_auditOutput",
        "type": "object"
      }
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:78e339a8b6dea2452c4147f6745437ab245d512ddc20d8495758bd631a36da2b | sha256sum