forestrie-verify
OfficialServer Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
| resources | {
"listChanged": true
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| verify_receiptA | Verify a Forestrie receipt against the EXACT registered payload bytes and an entry id, at a trust rung you choose. Mirrors |
| verify_grant_receiptA | Verify a Forestrie grant receipt against the committed grant (Forestrie-Grant COSE Sign1, or raw grant payload CBOR plus an entry id), at a trust rung you choose. Mirrors |
| decode_receiptA | Render a COSE receipt's CBOR as JSON — headers, named labels, payload, signature and inclusion proof. NO VERIFICATION is performed: a receipt that decodes cleanly may still be invalid. Mirrors |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
| golden/grant-genesis.cbor | The forest-genesis document for the golden log. The genesis rung's trust root. |
| golden/grant-receipt.cbor | A 118-byte detached-payload grant receipt. The receipt the collapse table is about. |
| golden/burial/burial-receipt.cbor | A receipt whose peak the log has since buried; re-anchored by the retained chain. |
| golden/burial/sth-0000.cbor | One link of the retained .sth chain the checkpoint-chain rung folds. |
| golden/burial/sth-0001.cbor | One link of the retained .sth chain the checkpoint-chain rung folds. |
| golden/burial/sth-0002.cbor | One link of the retained .sth chain the checkpoint-chain rung folds. |
| golden/burial/sth-0003.cbor | One link of the retained .sth chain the checkpoint-chain rung folds. |
| golden/manifest.json | Frozen-bytes manifest: the sha256 digests the pin test asserts, plus the log id, grant data and idtimestamp the committed grant is rebuilt from. |
| golden/burial/manifest.json | Frozen-bytes manifest: the sha256 digests the pin test asserts, plus the log id, grant data and idtimestamp the committed grant is rebuilt from. |
TDQS
Scored across 3 tools
verify_receipt and verify_grant_receipt both perform verification but target different artifact types (regular receipt vs. grant receipt), and the descriptions clarify the distinction. decode_receipt is clearly separate since it only renders CBOR without verification.
All tool names use snake_case and follow a predictable verb_noun pattern: verify_receipt, verify_grant_receipt, decode_receipt. The longer grant variant remains readable and consistent with the others.
Three tools is a focused, well-scoped set for a verification service, with each tool earning its place. It sits at the low end of the typical 3–15 range, so it is slightly thin but still appropriate.
The server covers the core lifecycle: verifying a standard receipt, verifying a grant receipt, and decoding raw receipt data. Minor gaps exist around batch verification or chain-level checks, but the essential verification surface is present.