Compaction witness for agents: pin invariants, name dropped spans, re-inject verbatim or HALT.
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.
diff post-compaction context against the pinned snapshot; returns the Ed25519-signed receipt (one metered event)
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
diff post-compaction context against the pinned snapshot; returns the Ed25519-signed receipt (one metered event)
| Argument | Type | Description |
|---|---|---|
| event_id | string | |
| snapshot | object |
| post_text* | string |
| snapshot_ref | string |
{
"type": "object",
"required": [
"post_text"
],
"properties": {
"event_id": {
"type": "string"
},
"snapshot": {
"type": "object"
},
"post_text": {
"type": "string"
},
"snapshot_ref": {
"type": "string"
}
}
}write-time pinning: classify + hash-pin ONE span at write time
| Argument | Type | Description |
|---|---|---|
| text* | string |
{
"type": "object",
"required": [
"text"
],
"properties": {
"text": {
"type": "string"
}
}
}restore DEGRADED/LOST spans verbatim, or HALT on critical loss when allow=false; requires the audit's signed receipt
| Argument | Type | Description |
|---|---|---|
| allow | boolean | |
| receipt* | object | |
| event_id | string | |
| snapshot | object | |
| post_text* | string | |
| snapshot_ref | string |
{
"type": "object",
"required": [
"post_text",
"receipt"
],
"properties": {
"allow": {
"type": "boolean"
},
"receipt": {
"type": "object"
},
"event_id": {
"type": "string"
},
"snapshot": {
"type": "object"
},
"post_text": {
"type": "string"
},
"snapshot_ref": {
"type": "string"
}
}
}pin invariants verbatim pre-compaction (classify + hash-pin spans)
| Argument | Type | Description |
|---|---|---|
| spans* | array | |
| event_id* | string | |
| pinned_ids | array |
{
"type": "object",
"required": [
"event_id",
"spans"
],
"properties": {
"spans": {
"type": "array",
"items": {
"type": "string"
}
},
"event_id": {
"type": "string"
},
"pinned_ids": {
"type": "array",
"items": {
"type": "string"
}
}
}
}