codexrunledger-mcp
Server Details
Codex run receipts your reviewer can trust.
Glama couldn't complete the latest health check. If this server requires authentication, missing or expired test credentials may be the cause. A test profile lets Glama authenticate for health checks and discover tools; it is separate from your personal connections.
If you are the author, claim ownership, then add or update a test profile under Admin → Test Profile.
- Status
- Unhealthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- clauxel/codex-run-ledger-mcp
- GitHub Stars
- 0
- Server Listing
- CodexRun Ledger MCP
TDQS
Scored across 4 tools
Each tool has a distinct verb and noun combination (create, export, list, summarize) with no overlap in purpose. An agent can easily distinguish between creating a receipt, exporting a handoff, listing missing evidence, and summarizing scope.
All tool names follow a consistent verb_noun pattern in snake_case (e.g., create_run_receipt, export_client_handoff). The naming is predictable and adheres to a single convention.
With 4 tools, the set is slightly small but appropriate for a focused ledger management server. Each tool serves a distinct function without unnecessary complexity.
The tools cover core operations (create, export, list, summarize) for the ledger domain. However, missing update or delete operations for receipts or evidence could be a minor gap in lifecycle coverage.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
4 tool updates
- First observed
create_run_receipt - First observed
export_client_handoff - First observed
list_missing_evidence - First observed
summarize_scope
Related MCP Connectors
Reviewed public-data search and execution with provenance and verifiable integrity receipts.
Hand off AI work with a signed Verification Receipt — an independent verifier proves it runs.
Cryptographically anchored evidence for agents: verified run receipts, proof-gated settlement.
Deterministic claim verification with receipts across ~60 domains. No model in the loop.
Related MCP Servers
- FlicenseNot gradedqualityDmaintenanceEnables spec-driven development acceptance gate with structured receipts, audit logs, and reviewer-ready evidence.-
- FlicenseNot gradedqualityCmaintenanceValidates governance evidence for Codex development tasks, enforcing requirements alignment, single-active-subject candidates, executable specifications, and independent gates for traceable review packets.1-
- AlicenseNot gradedqualityBmaintenanceEnables coding agents to request, track, and verify independent cross-model reviews with structured findings, attachment hashes, and provenance receipts via Chrome Bridge, Codex, or Responses transports.MIT
- AlicenseNot gradedqualityAmaintenanceCodexa is a local change-evidence layer for software workflows, providing committed-change receipts, plan conformance, and verification crediting. It acts as an MCP server to help agents reason about code changes and verify correctness.55 npm2MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.