Summary
A paid remote MCP that generates verifiable receipts for Codex runs. You call create_run_receipt to log what changed, summarize_scope to document what was in bounds, list_missing_evidence to flag gaps, and export_client_handoff to package everything for delivery. Runs over streamable HTTP with bearer token auth. Useful when you're handing off AI-assisted work to a reviewer or client and need tamper-evident proof of what the assistant touched, what it skipped, and what's still missing. Requires signup and a paid plan at codexrunledger.clauxel.com to get a token.
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →
Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →
Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →
Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →CodexRun Ledger MCP
Codex run receipts your reviewer can trust.
Paid remote MCP for Codex run ledgers, changed-file evidence, scope summaries, missing proof checks, and client-ready handoff receipts.
Public Endpoints
- Website: https://codexrunledger.clauxel.com/?utm_source=github&utm_medium=directory&utm_campaign=sbl202605
- MCP endpoint: https://codexrunledger.clauxel.com/mcp
- Server card: https://codexrunledger.clauxel.com/server-card.json
- Registry name:
com.clauxel.codexrunledger/codexrunledger-mcp
Access
This is a paid hosted remote MCP. Production calls require a bearer token issued from the product website.
Authorization: Bearer <token>
Unauthenticated browser visits to /mcp return a clear JSON error instead of internal details.
Tools
create_run_receiptsummarize_scopelist_missing_evidenceexport_client_handoff
Quick Start
- Open the website and choose a plan.
- Create or request an API token.
- Add the endpoint to an MCP client that supports Streamable HTTP remote servers.
- Send JSON-RPC requests with the bearer token.
Useful Links
- Product page: https://codexrunledger.clauxel.com/?utm_source=github&utm_medium=directory&utm_campaign=sbl202605
- Pricing: https://codexrunledger.clauxel.com/?utm_source=github&utm_medium=directory&utm_campaign=sbl202605#pricing
- Server card: https://codexrunledger.clauxel.com/server-card.json
- MCP endpoint: https://codexrunledger.clauxel.com/mcp
Related Workflow
- OpenHuman Online is useful when this MCP rollout also needs human-readable source memory, meeting notes, or approval context outside the server.
Status
This repository is a public documentation and directory-submission reference for the hosted service. It does not contain the private production source code.
Featured
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →