mcpserver.lol
registry/cedulon
Connection check local install

cedulon

Policy-gated agent spend with signed receipts and rail-extract audit

Tools 6
GitHub stars
Installs / wk 1.7k
Licence Apache-2.0
Transport stdio
Last checked never

Tools & capabilities

6 tools

Read from the published package source — this server runs locally, so there is no endpoint to query. Names are taken from the code, not observed at runtime, and descriptions are often absent.

cedulon from source
cedulon_audit from source
Reconcile the in-process receipt chain and checkpoint against the rail extract: this server
cedulon_export_ledger from source
Export receipts, checkpoint, and rail extract in the same JSON shape as npm run demo:export, with the findings, guarantee and counts of the audit over this server
cedulon_spend from source
Policy-gated spend on the mock rail. Allow returns a signed COSE receipt JSON. Deny returns the fail-closed reason.
cedulon_status from source
Server version, policy summary, receipt count, and chain head hash.
cedulon_verify_receipt from source
Verify a spend receipt COSE_Sign1 (and payee countersignature when present). Supply expectIssuerKeyPem to check it against a key you already hold; without one the receipt is only c…