Signed deterministic checks for supplied JSON invoices, OpenAPI API contracts and JSON events.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Full Bearer header using your own private prepaid budget code. Keep it secret.
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.
Paid EUR 0.010 excluding tax per new signed consistency report for a supplied OpenAPI JSON API contract only, with optional supplied offer/observation comparisons. No legal contract analysis, runtime endpoint testing, security audit or full OpenAPI standard certification. Identical request_id and body avoid a second debit. Report reconstruction is available for 30 days; save the original report. After that the request may be refused, never automatically retried with a new ID.
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
Paid EUR 0.010 excluding tax per new signed consistency report for a supplied OpenAPI JSON API contract only, with optional supplied offer/observation comparisons. No legal contract analysis, runtime endpoint testing, security audit or full OpenAPI standard certification. Identical request_id and body avoid a second debit. Report reconstruction is available for 30 days; save the original report. After that the request may be refused, never automatically retried with a new ID.
| Argument | Type | Description |
|---|---|---|
| offer | object | |
| document* | object | |
| request_id* | string | |
| observations | array | |
| published_offer | object |
{
"type": "object",
"required": [
"request_id",
"document"
],
"properties": {
"offer": {
"type": "object"
},
"document": {
"type": "object"
},
"request_id": {
"type": "string",
"pattern": "^[A-Za-z0-9._:-]{1,128}$"
},
"observations": {
"type": "array"
},
"published_offer": {
"type": "object"
}
},
"additionalProperties": false
}Paid EUR 0.002 excluding tax per signed event batch of up to 200 supplied events, no actual delivery attestation. Identical request_id and body avoid a second debit. Report reconstruction lasts 30 days; retain the returned report. No automatic retries.
| Argument | Type | Description |
|---|---|---|
| events* | array | |
| request_id* | string | |
| same_clock | boolean | |
| require_contiguous | boolean |
{
"type": "object",
"required": [
"request_id",
"events"
],
"properties": {
"events": {
"type": "array",
"maxItems": 200,
"minItems": 1
},
"request_id": {
"type": "string",
"pattern": "^[A-Za-z0-9._:-]{1,128}$"
},
"same_clock": {
"type": "boolean"
},
"require_contiguous": {
"type": "boolean"
}
},
"additionalProperties": false
}Guard one logical external effect. The prepare operation costs 390 micro-EUR excluding tax only when a new logical decision is successfully created; exact prepare replays and get/claim/settle/reconcile/cancel are free. This service grants one opaque execution authority but never performs the external action. Before settle, register the tenant-scoped ES256 outcome verifier described by the hosted OpenAPI. Reuse the same logical_identity and exact body after an unknown transport outcome; changed content conflicts. Keep claim capabilities private and never retry with a new identity merely because a response was lost.
No arguments.
{
"type": "object",
"oneOf": [
{
"required": [
"operation",
"body"
],
"properties": {
"body": {
"type": "object",
"required": [
"logical_identity",
"agent_id",
"tool_id",
"destination",
"effect_kind",
"action"
],
"properties": {
"cost": {
"type": "object",
"required": [
"amount_atomic",
"scale",
"currency"
],
"properties": {
"scale": {
"type": "integer",
"maximum": 18,
"minimum": 0
},
"currency": {
"type": "string",
"pattern": "^[A-Z]{3,12}$"
},
"amount_atomic": {
"type": "string",
"pattern": "^(0|[1-9][0-9]{0,77})$"
}
},
"additionalProperties": false
},
"action": {
"type": "object"
},
"tool_id": {
"type": "string",
"maxLength": 128,
"minLength": 1
},
"agent_id": {
"type": "string",
"maxLength": 128,
"minLength": 1
},
"destination": {
"type": "string",
"maxLength": 512,
"minLength": 1
},
"effect_kind": {
"type": "string",
"maxLength": 128,
"minLength": 1
},
"logical_identity": {
"type": "string",
"maxLength": 128,
"minLength": 1
}
},
"additionalProperties": false
},
"operation": {
"const": "prepare"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"intent_id"
],
"properties": {
"intent_id": {
"type": "string",
"pattern": "^egi_[a-f0-9]{24}$"
},
"operation": {
"const": "get"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"intent_id"
],
"properties": {
"intent_id": {
"type": "string",
"pattern": "^egi_[a-f0-9]{24}$"
},
"operation": {
"const": "claim"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"intent_id"
],
"properties": {
"intent_id": {
"type": "string",
"pattern": "^egi_[a-f0-9]{24}$"
},
"operation": {
"const": "reconcile"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"intent_id"
],
"properties": {
"intent_id": {
"type": "string",
"pattern": "^egi_[a-f0-9]{24}$"
},
"operation": {
"const": "cancel"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"intent_id",
"body"
],
"properties": {
"body": {
"type": "object",
"required": [
"capability",
"evidence"
],
"properties": {
"evidence": {
"type": "object",
"required": [
"attestation_jws"
],
"properties": {
"attestation_jws": {
"type": "string",
"maxLength": 130974,
"minLength": 80,
"description": "Compact ES256 JWS within the 131072-byte nested REST settle body. Protected header typ must be application/xynthera-effect-outcome+jws and kid must identify a registered verifier key. Payload profile must be xynthera-effect-outcome-v1; status is settled, refused or ambiguous; exact fields are profile, tenant_id, intent_id, claim_id, logical_key, action_sha256, provider_idempotency_key, status, observed_at, effect_reference and reason_code."
}
},
"additionalProperties": false
},
"capability": {
"type": "string",
"pattern": "^egc_[A-Za-z0-9_-]{43}$"
}
},
"additionalProperties": false
},
"intent_id": {
"type": "string",
"pattern": "^egi_[a-f0-9]{24}$"
},
"operation": {
"const": "settle"
}
},
"additionalProperties": false
}
]
}Read authenticated prepaid balance and state; free, with no debit. Before funding, the buyer manually purchases a budget at https://xynthera-ai.toasty-seal-8877.chatgpt.site/payg.html. Requires a private budget code in Authorization: Bearer; no OAuth. The initial purchase amount is the hard server-side total spending limit. No automatic recharge.
No arguments.
{
"type": "object",
"properties": {},
"additionalProperties": false
}Paid EUR 0.005 excluding tax per new, successful signed invoice consistency check. Supply the entire documented JSON input and a stable unique request_id. Analysis of supplied data only, no bank validation. Exact same-body retries avoid a second debit; report reconstruction lasts 30 days, so retain reports.
| Argument | Type | Description |
|---|---|---|
| history | array | |
| invoice* | object | |
| payments | array | |
| receipts | array | |
| request_id* | string | |
| purchase_order | object | |
| supplier_profile | object |
{
"type": "object",
"required": [
"request_id",
"invoice"
],
"properties": {
"history": {
"type": "array"
},
"invoice": {
"type": "object"
},
"payments": {
"type": "array"
},
"receipts": {
"type": "array"
},
"request_id": {
"type": "string",
"pattern": "^[A-Za-z0-9._:-]{1,128}$"
},
"purchase_order": {
"type": "object"
},
"supplier_profile": {
"type": "object"
}
},
"additionalProperties": true
}Create/read a resource budget and reserve or reconcile an agent action against it. A successful new reserve costs 290 micro-EUR excluding tax; exact reserve replays and create_budget/get_budget/get_reservation/begin/settle/release/mark_unknown/reconcile are free. Reservation is the only billable operation and performs no provider action. Each budget accepts at most 128 reservations; a 129th new logical reservation is rejected before billing. Before settle, register the tenant-scoped ES256 outcome verifier described by the hosted OpenAPI. Reuse logical_identity and the exact body after an unknown outcome; keep capabilities private and use the stable provider idempotency key returned by begin.
No arguments.
{
"type": "object",
"oneOf": [
{
"required": [
"operation",
"body"
],
"properties": {
"body": {
"type": "object",
"required": [
"logical_identity",
"limits"
],
"properties": {
"limits": {
"type": "object",
"required": [
"money",
"tokens_atomic",
"calls_atomic"
],
"properties": {
"money": {
"type": "object",
"required": [
"amount_atomic",
"scale",
"currency"
],
"properties": {
"scale": {
"type": "integer",
"maximum": 18,
"minimum": 0
},
"currency": {
"type": "string",
"pattern": "^[A-Z]{3,12}$"
},
"amount_atomic": {
"type": "string",
"pattern": "^(0|[1-9][0-9]{0,77})$"
}
},
"additionalProperties": false
},
"calls_atomic": {
"type": "string",
"pattern": "^(0|[1-9][0-9]{0,77})$"
},
"tokens_atomic": {
"type": "string",
"pattern": "^(0|[1-9][0-9]{0,77})$"
}
},
"additionalProperties": false
},
"logical_identity": {
"type": "string",
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$"
}
},
"additionalProperties": false
},
"operation": {
"const": "create_budget"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"budget_id"
],
"properties": {
"budget_id": {
"type": "string",
"pattern": "^stb_[a-f0-9]{24}$"
},
"operation": {
"const": "get_budget"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"budget_id",
"body"
],
"properties": {
"body": {
"type": "object",
"required": [
"logical_identity",
"agent_id",
"provider",
"operation",
"maximum"
],
"properties": {
"maximum": {
"type": "object",
"required": [
"money",
"tokens_atomic",
"calls_atomic"
],
"properties": {
"money": {
"type": "object",
"required": [
"amount_atomic",
"scale",
"currency"
],
"properties": {
"scale": {
"type": "integer",
"maximum": 18,
"minimum": 0
},
"currency": {
"type": "string",
"pattern": "^[A-Z]{3,12}$"
},
"amount_atomic": {
"type": "string",
"pattern": "^(0|[1-9][0-9]{0,77})$"
}
},
"additionalProperties": false
},
"calls_atomic": {
"type": "string",
"pattern": "^(0|[1-9][0-9]{0,77})$"
},
"tokens_atomic": {
"type": "string",
"pattern": "^(0|[1-9][0-9]{0,77})$"
}
},
"additionalProperties": false
},
"agent_id": {
"type": "string",
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$"
},
"provider": {
"type": "string",
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$"
},
"operation": {
"type": "string",
"maxLength": 256,
"minLength": 1
},
"logical_identity": {
"type": "string",
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$"
},
"capability_sha256": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
}
},
"additionalProperties": false
},
"budget_id": {
"type": "string",
"pattern": "^stb_[a-f0-9]{24}$"
},
"operation": {
"const": "reserve"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"budget_id",
"reservation_id"
],
"properties": {
"budget_id": {
"type": "string",
"pattern": "^stb_[a-f0-9]{24}$"
},
"operation": {
"enum": [
"get_reservation",
"reconcile"
]
},
"reservation_id": {
"type": "string",
"pattern": "^str_[a-f0-9]{24}$"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"budget_id",
"reservation_id",
"body"
],
"properties": {
"body": {
"type": "object",
"required": [
"capability"
],
"properties": {
"capability": {
"type": "string",
"pattern": "^stc_[A-Za-z0-9_-]{43}$"
}
},
"additionalProperties": false
},
"budget_id": {
"type": "string",
"pattern": "^stb_[a-f0-9]{24}$"
},
"operation": {
"enum": [
"begin",
"release"
]
},
"reservation_id": {
"type": "string",
"pattern": "^str_[a-f0-9]{24}$"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"budget_id",
"reservation_id",
"body"
],
"properties": {
"body": {
"type": "object",
"required": [
"capability",
"evidence"
],
"properties": {
"evidence": {
"type": "object",
"required": [
"attestation_jws"
],
"properties": {
"attestation_jws": {
"type": "string",
"maxLength": 130974,
"minLength": 80,
"description": "Compact ES256 JWS within the 131072-byte nested REST settle body. Protected header typ must be application/xynthera-spend-outcome+jws and kid must identify a registered verifier key. Payload profile must be xynthera-spend-outcome-v1; status is settled, refused or ambiguous; exact fields are profile, tenant_id, budget_id, reservation_id, logical_key, reservation_sha256, provider_idempotency_key, status, actual, observed_at, provider_reference and reason_code."
}
},
"additionalProperties": false
},
"capability": {
"type": "string",
"pattern": "^stc_[A-Za-z0-9_-]{43}$"
}
},
"additionalProperties": false
},
"budget_id": {
"type": "string",
"pattern": "^stb_[a-f0-9]{24}$"
},
"operation": {
"const": "settle"
},
"reservation_id": {
"type": "string",
"pattern": "^str_[a-f0-9]{24}$"
}
},
"additionalProperties": false
},
{
"required": [
"operation",
"budget_id",
"reservation_id",
"body"
],
"properties": {
"body": {
"type": "object",
"required": [
"capability",
"reason_code"
],
"properties": {
"capability": {
"type": "string",
"pattern": "^stc_[A-Za-z0-9_-]{43}$"
},
"reason_code": {
"type": "string",
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$"
}
},
"additionalProperties": false
},
"budget_id": {
"type": "string",
"pattern": "^stb_[a-f0-9]{24}$"
},
"operation": {
"const": "mark_unknown"
},
"reservation_id": {
"type": "string",
"pattern": "^str_[a-f0-9]{24}$"
}
},
"additionalProperties": false
}
]
}